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 mono under Linux, etc.

1. Don't open the solution in VS just yet!
2. Get Boogie, build it, and copy following files to the references/ directory:

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

3. Get Z3 and place the executable (z3.exe) under Bin/.
4. Now open the solution and build.
5. Go to Bin/ and try running with BplMatch.exe toy1.bpl toy2.bpl Query