Statistical Similarity of Binaries
This repo holds the semantic component from the Esh tool described in the Statistical Similarity of Binaries paper.
For more information about Esh, the paper, and a demo of what the code available here does, please visit http://BinSim.com
- The project was built with VS2015 under Win8.
- Other versions of VS\Win may also work.
- Once built, the executable can also be run with
monounder Linux, etc.
- Don't open the solution in VS just yet!
- Get Boogie, checkout and build at commit 'c8c15f672dc42fca1db9b0f20549ef49b48889e8'.
- Copy following files to the
AbsInt.dll Basetypes.dll Boogie.exe CodeContractsExtender.dll Concurrency.dll Core.dll Doomed.dll ExecutionEngine.dll Graph.dll Houdini.dll Model.dll ModelViewer.dll Newtonsoft.Json.dll ParserHelper.dll Predication.dll Provers.SMTLib.dll VCExpr.dll VCGeneration.dll
- Get Z3 and place the executable (
- Now open the solution and build.
- Go to
Bin/and try running with
BplMatch.exe toy1.bpl toy2.bpl Query