Get the latest tech news
Datalog-Based Binary Equivalence
datalog-based binary equivalence. Contribute to binaryeq/daleq development by creating an account on GitHub.
Jens Dietrich, Behnaz Hassanshahi: DALEQ - Explainable Equivalence for Java Bytecode (preprint) Jens Dietrich, Tim White, Behnaz Hassanshahi, Paddy Krishnan: Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds. The classes io.github.bineq.daleq.idb.IDBReader and io.github.bineq.daleq.idb.IDBPrinter are used to read an IDB, and convert it into a textual representation suitable for comparison and diffing (using a standard text fiff tool such as diff or kdiff3). For daleq equivalence statements, advanced diff reports are generated based on the derivations recorded when datalog rules are applied.
Or read this on Hacker News