package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Project/State/index.html

Module Project.State

The core state of the project.

  • since 2.2.0
type t = state

the abstract type for the project state. See Project.state.

val disassembly : t -> Disasm.Driver.state

disassembly state contains all disassembled instructions, as well as their connection. To build control-flow graphs or to explore the graph structure, use Disasm.Driver.explore.

val subroutines : t -> Disasm.Subroutines.t

subroutines state returns the partition of the set of disassembled instructions into a set of subroutines.

the slot of a unit object that stores the state of disassembly