package bap-primus

  1. Overview
  2. No Docs
The BAP Microexecution Framework

Install

Dune Dependency

Authors

Maintainers

Sources

v2.3.0.tar.gz
md5=13f2cb1e3b9d90348852252fb0f2d09f

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: 04 Jun 2021