Dear list,

We are proud to announce a stable public release of Binary Analysis
Platform [1]. This is our tenth public release, but the first one with a
stabilized API, so now it is safe to start to use it.

Binary Analysis Platform is a framework for writing program analysis
tools, that target binary files. The framework consists of a plethora
of libraries, plugins, and frontends. The libraries provide code
reusability, the plugins facilitate extensibility, and the frontends
serve as entry points. Basically, BAP can be seen as Frama-C for binaries :)

BAP comes with a comprehensive searchable documentation [2], based on our
own fork of argot project. We also have a wiki and permanently manned chat,
where you can get help.

At the time of writing, BAP.1.0.0 didn't yet land up into the
opam-repository [3], so if you want to try it, you should use our
opam-repository,

    opam repo add bap git://
github.com/BinaryAnalysisPlatform/opam-repository.git

So that you can install bap and its system dependencies with

    opam depext --install bap

Alternatively, you can use Vagrantfile, shipped with the main repository to
build a virtual machine provisioned with bap. Or, you can use a docker
image, e.g.,

    docker run binaryanalysisplatform/bap bap /bin/ls -dasm


Finally, if you really want to play with BAP on a daily basis, and do the
research in the field binary analysis and reverse engineering, then
consider applying to the CMU PhD program and join David Brumley's research
team. (You can apply to both ECE[4] and SCS[5] programs, even
simultaneously).

Best wishes,
Binary Analysis Platform Team


[1]: https://github.com/BinaryAnalysisPlatform/bap
[2]: http://binaryanalysisplatform.github.io/bap/api/v1.0.0/argot_index.html
[3]: https://github.com/ocaml/opam-repository/pull/7521
[4]: https://www.ece.cmu.edu/programs-admissions/phd/
[5]: https://www.cs.cmu.edu/doctoral-admissions