package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap/Bap/Std/Disasm_expert/index.html

Module `Std.Disasm_expert`

Expert interface to disassembler.

This interface is rather complicated, and is built around two implementations of the disassembler Basic and Recursive. Basic provides an efficient (and very lazy) linear sweep, driven in a continuation passing style. On top of the Basic the Recursive disassembler is built, that reconstructs the control flow graph, and represents the latter as a table of blocks.

module Backend : sig ... end

The interface for custom backends.

module Basic : sig ... end

Basic disassembler.

module Linear : sig ... end

A simple linear sweep disassembler.

module Recursive : sig ... end

Recursive Descent Disassembler. This disassembler is built on top of Basic disassembler. It uses the work list algorithm to implement recursive descent disassembly and reconstructs the whole program CFG.