package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v1.4.0.tar.gz
sha256=7cf5548bfaafd20ed17d29b0e8967fb46a26d153d47c5005e65f6becd608d11c
md5=b7785715c24645e8e69a8091427d090e

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: 13 Mar 2018

Dependencies (10)

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

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.