Index of types
Index of exceptions
Index of values
Index of class attributes
Index of class methods
Index of classes
Index of class types
Index of modules
Index of module types


Arch
Supported BAP architectures
Arithmetic
Basic integer arithmetic on N-bit integers
Asmir
High level interface to libasmir.
Asmir_consts
Constants for asmir.ml.
Asmir_disasm
Framework for incremental disassembly methods
Asmir_rdisasm
Lift a program using recursive disassembly.
Asmir_vars
Asmir variables
Ast
The Abstract Syntax Tree.
Ast_cond_simplify
Simplify predicates so that VSA and other abstract interpretations can use them.
Ast_convenience
Utility functions for ASTs.
Ast_mapper
Apply a mapping to all expressions in a program.
Ast_piqi
Convert AST programs to the Piqi serialization format, which can convert to protobuffers, xml, and json.
Ast_slice
A module to perform chopping on ASTs
Ast_visitor
Visitor for AST programs and expressions.
BatListFull
Opening this module will put a more tail-recursive List module into scope.
Big_int_convenience
Convenience functions for Big_ints
Cfg
Control flow graphs.
CfgDataflow
Dataflow module for use with Control Flow Graphs.
Cfg_ast
Conversions from AST programs to AST CFGs and vice versa.
Cfg_pp
Pretty printing for CFGs.
Cfg_ssa
Static Single Assignment translation
Checks
Sanity checks to provide more understandable error messages
Coalesce
Coalesce sequential basic blocks into a single basic block.
Copy_prop
Copy propagation analysis.
Deadcode
Dead code elimination for SSA graphs.
Debug
Debugging module.
Debug_snippets
Snippets of debugging code
Depgraphs
Dependency graphs.
Disasm
General disassembly stuff
Disasm_i386
Native lifter of x86 instructions to the BAP IL
Djgraph
Dominator
Dominator module for use with the ocamlgraph library.
Flatten_mem
Break complicated memory write statements a series of flat ones of form Store(Var v, ...).
Formulap
Printing formulas
Func_boundary
Function boundary identification for x86
Fwp
Forward weakest preconditions.
Gcl
Dijkstra's Guarded Command Language
Grammar_private_scope
Define a Scope solely for the Parser and its helper functions.
Grammar_scope
Scope module for parsing.
GraphDataflow
Dataflow module for use with the ocamlgraph library.
Hacks
Hacks
Input
Use this to read in a program.
Llvm_codegen
LLVM code generation backend for BAP IL programs.
Lnf
Loop nesting forest definitions
Lnf_havlak
Lnf_interface
Interface to loop nesting forest (LNF) algorithms.
Lnf_ramalingam
Lnf_reduced_havlak
Lnf_sreedhar
Lnf_steensgard
Memory2array
Convert Type.TMem memories to Type.Array memories.
Parser
Bap interface to the parser.
Pp
Pretty printing
Prune_unreachable
Code for removing unreachable nodes in a CFG.
Reachable
Reachability analysis
Sccvn
Strongly connected component based value numbering.
Smtexec
Interface for executing command line driven SMT solvers.
Smtlib1
Output to SMTLIB1 format
Smtlib2
Output to SMTLIB2 format
Solver
Primary interface to SMT solvers.
Ssa
Static Single Assignment form.
Ssa_cond_simplify
Simplify predicates so that VSA and other abstract interpretations can use them.
Ssa_convenience
Utility functions for SSAs.
Ssa_simp
SSA simplifications
Ssa_simp_misc
Misc optimizations
Ssa_slice
A module to perform chopping on SSAs
Ssa_visitor
Visitor for SSA programs and expressions.
Steensgard
Steensgard's loop nesting algorithm
Stp
Output to STP format (same as CVCL or CVC3)
Structural_analysis
Structural Analysis
Switch_condition
Rewrite the outgoing edge conditions from (indirect jump) switches so they are in terms of the input variable, and not the target destination.
Symbeval
A module to perform AST Symbolic Execution
Symbeval_search
A module to try out search strategies on symbolic execution
Syscall_id
Statically identify obvious use of system call numbers on AST CFGs.
Syscall_models
A module with IL models of system calls.
Template
Test_common
Functions used by BAP library and tests
To_c
C output.
Traces
A module to perform trace analysis
Traces_backtaint
Backwards taint analysis on traces.
Traces_stream
Functions for streaming processing of traces.
Traces_surgical
Transformations needed for traces.
Tunegc
Automatically tune Garbage collection parameters.
Type
Type declarations for BAP.
Typecheck
Type checking and inference for AST programs.
Unroll
Loop unrolling
Util
Utility functions that are not BAP specific.
Var
The type of variables.
Var_temp
Recognizing and creating temporary variables
Vc
Interface to verification generation procedures.
Vsa
number of bits * unsigned stride * signed lower bound * signed upper bound
Vsa_ast
Value-Set Analysis / Value-Set Arithmetic
Vsa_ssa
Value-Set Analysis / Value-Set Arithmetic
Worklist
Worklists with in place modification
Wp
Functions for computing the weakest preconditions (WPs) of programs.