BINSEC 0.2

October 01, 2018


We are happy to announce the release of version 0.2 of the BINSEC platform.

This version is available for download from here.

An OPAM package is to follow. You can also download the docker image for this version by running:

docker pull binsec/binsec-0.2:v1

Changes

- New symbolic execution engine
- New interpreter for binary code
- Improved logical representation for formulas
- New internal control-flow-graph representation
- Directive language for symbolic execution control
- Support for new PIN tool xtrasec
- Improved x86 decoder
  - Fixed bugs reported by KAIST
- Docker image
  - includes Unisim-vp ARM v7 decoder
  - includes new PIN tool xtrasec