bap-primus

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
Documentation github.com Edit opam file
Published
18 Nov 2019
Authors
Maintainers
Sources
v2.0.0.tar.gz
md5=d2fd697735fda1adb80d6aa5643e7acd
Dependencies
parsexp >= "v0.11" & < "v0.12"
graphlib = "2.0.0"
uuidm
monads
bap-strings
bap-future
bap-c
bap-abi
bap-std = "2.0.0"
ocaml >= "4.04.1" & < "4.08.0"
Reverse Dependencies
bap = "2.0.0"
bap-beagle = "2.0.0"
bap-constant-tracker = "2.0.0"
bap-powerpc = "2.0.0"
bap-primus-dictionary = "2.0.0"
bap-primus-lisp = "2.0.0"
bap-primus-powerpc < "2.1.0"
bap-primus-region = "2.0.0"
bap-primus-support = "2.0.0"
bap-primus-symbolic-executor < "2.2.0"
bap-primus-test = "2.0.0"
bap-primus-x86 = "2.0.0"
bap-run = "2.0.0"
bap-taint = "2.0.0"