bap-primusversion
The Microexecution Framework
Primus is a framework for program microexecution. The Microexecution technique was pioneered by Patrice Godefroid from Microsoft Research. The idea was 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.
Primus can be seen as a CPU emulator (this is actually one of the modes of operation), in that sense it is very similiar to Unicorn, hence the name. Primus is better than Unicorn, in the sense that Primus is good and Unicorn is bad :)
Primus can also be seen as a framework for building symbolic executors.
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/v1.3.0.tar.gz sha256=692b07c372a460342891d85aa499b93db56f4c391cf85c8474e8d5736bda256d md5=8df8c0b2c56abd082dbb994b2359e4c4 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-primus/bap-primus.1.3.0/opam |
- bap=1.3.0
- bap-beagle=1.3.0
- bap-primus-lisp<1.4.0
- bap-primus-support<1.4.0
- bap-primus-symbolic-executor<2.2.0
- bap-primus-x86<1.4.0
- bap-run<1.4.0