package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct