Re: [Caml-list] [ANN] BAP 1.0.0

[Anil Madhavapeddy <anil@recoil.org>]

On 27 Sep 2016, at 16:04, Ivan Gotovchits <ivg@ieee.org> wrote:
> 
> 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

This has now been merged into OPAM repository and so should be available without the remote repository soon.

I just wanted to thank Ivan for going through a huge amount of testing effort before submitting the PR, as can be seen here: https://github.com/ocaml/opam-repository/pull/7521

If anyone finds any issues after the merge, please do feel free to raise an issue on https://github.com/ocaml/opam-repository/issues

regards,
Anil