package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v1.5.0.tar.gz
sha256=1a268004ac16396cbca66a79c8d21cb36f538fc31ed4380ea5d72e337f27bfbf
md5=9eed04fda6610dd4a8aa83948abfffc3

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.

Published: 26 Oct 2018

Dependencies (10)

  1. parsexp >= "v0.9.0" & < "v0.10"
  2. graphlib > "1.3.0"
  3. uuidm
  4. monads
  5. bap-strings = "1.5.0"
  6. bap-future = "1.5.0"
  7. bap-c = "1.5.0"
  8. bap-abi = "1.5.0"
  9. bap-std = "1.5.0"
  10. ocaml >= "4.03" & < "4.06"

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.