package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v2.0.0.tar.gz
sha256=0d1da6bed63b24ccccbee86d7ef594ee09b4124992b9ca82a314d3df09cc172b
md5=d2fd697735fda1adb80d6aa5643e7acd

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: 18 Nov 2019

Dependencies (10)

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

Dev Dependencies

None

Conflicts

None

OCaml

Innovation. Community. Security.