Popular repositories Loading

1. daleq daleq Public

   datalog-based binary equivalence

   HTML 12 2

2. bineq-study-supplementary bineq-study-supplementary Public

   Supplementary information for Binary Equivalence paper

   Java 1

3. jcompile jcompile Public

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

   Java

4. jdiff jdiff Public

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

   Java

5. jmutator jmutator Public

   mutation of Java bytecode

   Java

6. jpatch jpatch Public

   extraction of bytecode changes related to security patches

   Java