package bap-primus

  1. Overview
  2. No Docs
The Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v1.3.0.tar.gz
md5=8df8c0b2c56abd082dbb994b2359e4c4

Description

Primus is a framework for program microexecution. The Microexecution technique was pioneered by Patrice Godefroid from Microsoft Research. The idea was 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.

Primus can be seen as a CPU emulator (this is actually one of the modes of operation), in that sense it is very similiar to Unicorn, hence the name. Primus is better than Unicorn, in the sense that Primus is good and Unicorn is bad :)

Primus can also be seen as a framework for building symbolic executors.

Published: 07 Sep 2017

Dependencies (7)

  1. uuidm
  2. monads
  3. bap-future = "1.3.0"
  4. bap-c = "1.3.0"
  5. bap-abi = "1.3.0"
  6. bap-std = "1.3.0"
  7. ocaml

Dev Dependencies

None

Used by (7)

  1. bap = "1.3.0"
  2. bap-beagle = "1.3.0"
  3. bap-primus-lisp < "1.4.0"
  4. bap-primus-support < "1.4.0"
  5. bap-primus-symbolic-executor < "2.2.0"
  6. bap-primus-x86 < "1.4.0"
  7. bap-run < "1.4.0"

Conflicts

None