package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1

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: 02 Jun 2020

Dependencies (10)

  1. parsexp >= "v0.12" & < "v0.13"
  2. graphlib = "2.1.0"
  3. uuidm
  4. monads
  5. bap-strings
  6. bap-future
  7. bap-c
  8. bap-abi
  9. bap-std = "2.1.0"
  10. ocaml >= "4.07.0" & < "4.10.0"

Dev Dependencies

None

Conflicts

None