package bap-std

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

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