package bap-primus
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=692b07c372a460342891d85aa499b93db56f4c391cf85c8474e8d5736bda256d
md5=8df8c0b2c56abd082dbb994b2359e4c4
Description
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.
Published: 07 Sep 2017
Dependencies (7)
Dev Dependencies
None
Used by (7)
-
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"
Conflicts
None