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.
Author | BAP Team |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/BinaryAnalysisPlatform/bap/ |
Issue Tracker | https://github.com/BinaryAnalysisPlatform/bap/issues |
Maintainer | Ivan Gotovchits <ivg@ieee.org> |
Dependencies |
|
Source [http] | https://github.com/BinaryAnalysisPlatform/bap/archive/v2.2.0.tar.gz md5=5dbc6677d646bec59fd7414f23e88cf8 |
Statistics | Installed 152 times last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-primus/bap-primus.2.2.0/opam |
Required by
- bap>=2.2.0
- bap-beagle>=2.2.0
- bap-constant-tracker>=2.2.0
- bap-primus-dictionary>=2.2.0
- bap-primus-exploring-scheduler
- bap-primus-greedy-scheduler
- bap-primus-limit
- bap-primus-lisp>=2.2.0
- bap-primus-loader
- bap-primus-mark-visited
- bap-primus-powerpc>=2.2.0
- bap-primus-print
- bap-primus-promiscuous
- bap-primus-propagate-taint
- bap-primus-random>=2.2.0
- bap-primus-region>=2.2.0
- bap-primus-round-robin-scheduler
- bap-primus-symbolic-executor
- bap-primus-systems>=2.2.0
- bap-primus-taint
- bap-primus-test>=2.2.0
- bap-primus-track-visited
- bap-primus-wandering-scheduler
- bap-primus-x86>=2.2.0
- bap-run>=2.2.0
- bap-taint>=2.2.0