package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v1.6.0.tar.gz
sha256=7eec2cc3ad72056f254b57371778d774d980b6d37f48e250bfa792f1f975bcc9
md5=0ccf6571613c0666a37d154c7f70af4f

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: 10 Apr 2019

Dependencies (10)

  1. parsexp >= "v0.11" & < "v0.12"
  2. graphlib > "1.3.0"
  3. uuidm
  4. monads
  5. bap-strings = "1.6.0"
  6. bap-future = "1.6.0"
  7. bap-c = "1.6.0"
  8. bap-abi = "1.6.0"
  9. bap-std = "1.6.0"
  10. ocaml >= "4.04.1" & < "4.08.0"

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.