bap-primusversion

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.

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-primus/bap-primus.2.1.0/opam