bap-primus

AuthorBAP Team
LicenseMIT
Homepagehttps://github.com/BinaryAnalysisPlatform/bap/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
&bap-abi
bap-c
bap-future
bap-std1.4.0
bap-strings
graphlib1.3.0
monads
parsexp
uuidm
Availableocaml-version >= "4.03" & ocaml-version < "4.06"
PublishedMar 5, 2018
Source [http] https://github.com/BinaryAnalysisPlatform/bap/archive/v1.4.0.tar.gz
b7785715c24645e8e69a8091427d090e
StatisticsInstalled 38 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-primus/bap-primus.1.4.0/opam

The BAP Microexecution Framework

BAP Primus is a Microexecutuin Framework. The Microexecution technique was pioneered by Patrice Godefroid from Microsoft Research. The idea is to execute a binary from any point, using random inputs for undefined values.

The idea of Primus is very similiar. A program is lifted into the Intermediate Representation, that is interpreted using the Primus interpreter. The Framework allows users to customize the interpreter by implementing different machine components.