The BAP Microexecution Framework
Description
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.
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Last Published
- 26 Oct 2018
- Authors
- Maintainers
Sources
Dependencies
parsexp
>= "v0.9.0" & < "v0.10"
graphlib
> "1.3.0"
bap-strings
= "1.5.0"
bap-future
= "1.5.0"
bap-c
= "1.5.0"
bap-abi
= "1.5.0"
bap-std
= "1.5.0"
ocaml
>= "4.03" & < "4.06"
Reverse Dependencies
bap
= "1.5.0"
bap-beagle
= "1.5.0"
bap-constant-tracker
< "1.6.0"
bap-powerpc
= "1.5.0"
bap-primus-dictionary
= "1.5.0"
bap-primus-lisp
= "1.5.0"
bap-primus-region
= "1.5.0"
bap-primus-support
= "1.5.0"
bap-primus-symbolic-executor
< "2.2.0"
bap-primus-test
= "1.5.0"
bap-primus-x86
= "1.5.0"
bap-run
= "1.5.0"
bap-taint
= "1.5.0"