bap-microx

Author BAP Team
License MIT
Homepage https://github.com/BinaryAnalysisPlatform/bap/
Issue Tracker https://github.com/BinaryAnalysisPlatform/bap/issues
Maintainer Ivan Gotovchits <ivg@ieee.org>
Dependencies
bap-std
Published Dec 23, 2016
Source [http] http://github.com/BinaryAnalysisPlatform/bap/archive/v1.1.0.tar.gz
92e7f703d58ce1835bfeeed9ec523242
Statistics Installed 51 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bap-microx/bap-microx.1.1.0/opam

A micro execution framework

Necessary for
bap
>= 1.1.0
bap-taint-propagator