Repositories list

• daleq4py

  Public
  daleq like tool to compare python packages

  Python

  •

  Other

  •00 forks•11 star•33 issues•00 pull requests•Updated Aug 19, 2026Aug 19, 2026

• daleq

  Public
  datalog-based binary equivalence

  HTML

  •

  Other

  •22 forks•1818 stars•33 issues•1111 pull requests•Updated Jun 8, 2026Jun 8, 2026

• python-ast-rewrite-spike

  Public
  ANTLR

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• daleq-evaluation

  Public
  evaluation experiments for daleq

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 3, 2025Aug 3, 2025

• bineq-study-supplementary

  Public
  Supplementary information for Binary Equivalence paper

  Java

  •00 forks•11 star•33 issues•00 pull requests•Updated Jul 18, 2025Jul 18, 2025

• differential-test-generation

  Public
  Automatically generate regression tests for the altbuilds dataset and apply them to the different providers

  Java

  •

  Other

  •00 forks•00 stars•1717 issues•00 pull requests•Updated Jul 16, 2025Jul 16, 2025

• jcompile

  Public
  scripts to compile Java projects with different compilers to create a data set of comparable binaries

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•1414 issues•00 pull requests•Updated Jul 5, 2024Jul 5, 2024

• bineq-api

  Public
  API to use BinEq benchmark

  Java

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 30, 2024Jun 30, 2024

• jmutator

  Public
  mutation of Java bytecode

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2024Feb 27, 2024

• jpatch

  Public
  extraction of bytecode changes related to security patches

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 8, 2023Dec 8, 2023

• jdiff

  Public
  scripts to establish whether two java compilation units have changes resulting in different bytecode

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 10, 2023Sep 10, 2023