package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Array_utils : sig ... end

Extra functions over arrays

module Astbuilder : sig ... end
module Base_logger : sig ... end
module Basic_types : sig ... end

Definitions of non-DBA types

module Binpatcher : sig ... end

Definitions for binary patcher

module Binpatcher_options : sig ... end

Options for binary patching

module Binstream : sig ... end

Representation of binary streams

module Bitset : sig ... end

Bitsets

module Bitvector : sig ... end
module Cfg : sig ... end

Control Flow Graphs

module Cfgraph : sig ... end
module Cli : sig ... end

Functors for command-line parameters declarations

module Colors : sig ... end

General color definitions for outputs

module Concrete : sig ... end
module Dba : sig ... end

Definition of DBA type

module Dba_printer : sig ... end

Pretty-printing modules & functions for DBA

module Dba_to_formula : sig ... end

Convert some DBA structure to Smtlib

module Dba_types : sig ... end

Modules & types related to DBA types

module Dba_utils : sig ... end

Shelter for functions over DBA

module Dba_visitor : sig ... end
module Dbacsl_parser : sig ... end
module Dbacsl_token : sig ... end
module Decode_utils : sig ... end
module Dhunk : sig ... end

DBA hunks, aka dhunk

module Directive : sig ... end

Directives are general located goals that one would like to achieve during an * analysis

module Disasm : sig ... end

Disassemblers & utilities

module Disasm_cfg : sig ... end
module Disasm_core : sig ... end
module Disasm_options : sig ... end
module Dwarf : sig ... end
module Dwarf_cunit : sig ... end
module Dwarf_expr : sig ... end
module Dwarf_frame : sig ... end
module Dwarf_lines : sig ... end
module Dwarf_options : sig ... end

Options for debug information printing

module Elf_options : sig ... end
module Errors : sig ... end
module File_utils : sig ... end

Extra functions over files

module Formula : sig ... end

Definition of abstract representation for logical formulas (based on SMTLIB's syntax and semantics)

module Formula_main : sig ... end

Main entry point for formula handling

module Formula_options : sig ... end
module Formula_pp : sig ... end

Formula printer

module Formula_to_smtlib : sig ... end

Translation functions from BINSEC inner representation to SMT-LIB terms

module Formula_transformation : sig ... end
module Formula_utils : sig ... end

Utility functions for formula creation

module Ghidra_cfg : sig ... end
module Ghidra_options : sig ... end
module Hash : sig ... end
module Hashamt : sig ... end

Implementation of Hash-Array Mapped Tries

module Htx_main : sig ... end
module Htx_options : sig ... end
module Ida : sig ... end
module Ida_cfg : sig ... end
module Ida_cg : sig ... end
module Ida_options : sig ... end
module Ida_utils : sig ... end
module Imap : sig ... end
module Infos : sig ... end

Abstract representation of configuration data for static analyses

module Instr_cfg : sig ... end
module Instruction : sig ... end

Canonical representation of an instruction

module Interval : sig ... end
module Isa_helper : sig ... end
module Kernel_core : sig ... end

Core kernel functions

module Kernel_functions : sig ... end

Basic kernel functions

module Kernel_options : sig ... end
module Lexer : sig ... end
module Lexer_ghidra : sig ... end
module Lexer_infos : sig ... end
module List_utils : sig ... end

Extra functions over lists

module Loader : sig ... end
module Loader_buf : sig ... end

Generic representation of loader buffers

module Loader_dump : sig ... end
module Loader_elf : sig ... end
module Loader_pe : sig ... end
module Loader_sigs : sig ... end
module Loader_types : sig ... end
module Loader_utils : sig ... end

Loader utility functions

module Location : sig ... end
module Logger : sig ... end

Logging/output facilities

module Lreader : sig ... end

Basic stream reader

module Machine : sig ... end

Abstract description of machines

module Mcount_main : sig ... end
module Mcount_options : sig ... end
module Mnemonic : sig ... end
module Natural : sig ... end
module Parse_helpers : sig ... end
module Parse_utils : sig ... end

General BINSEC related utilities

module Parser : sig ... end
module Parser_ghidra : sig ... end
module Parser_infos : sig ... end
module Predba : sig ... end

First IL before producing DBA

module Prettytbl : sig ... end
module Print_utils : sig ... end

Extra pretty-printing functions

module Prover : sig ... end
module Riscv_arch : sig ... end
module Riscv_options : sig ... end
module Riscv_to_dba : sig ... end
module Runtime : sig ... end
module Sequence : sig ... end
module Sigs : sig ... end

Generic signatures used throughout BINSEC

module Simplification_dba : sig ... end
module Simplification_dba_block : sig ... end

Intra-block simplifications

module Simplification_dba_prog : sig ... end
module Simplification_dba_utils : sig ... end

Generic utility functions for DBA simplification

module Simplification_options : sig ... end
module Simulation : sig ... end
module Size : sig ... end
module Smt_model : sig ... end

Internal model representation

module Smtlib : sig ... end
module Smtlib_lexer : sig ... end
module Smtlib_options : sig ... end
module Smtlib_parser : sig ... end
module Smtlib_pp : sig ... end
module Smtlib_to_formula : sig ... end
module Smtlib_utils : sig ... end
module Solver : sig ... end

Interface with SMT solvers

module String_utils : sig ... end

Extra functions over strings

module Subprocess : sig ... end
module Term : sig ... end
module Utils : sig ... end

Generic utilities

module Virtual_address : sig ... end
module Worklist : sig ... end

Worklist / Work queue implementation

module X86Instruction : sig ... end

Interface for X86 instructions

module X86Types : sig ... end
module X86Util : sig ... end

X86 utility functions

module X86_options : sig ... end
module X86decoder : sig ... end

Decode a function from a reader

module X86pp : sig ... end

Pretty-printers for X86

module X86toDba : sig ... end

Lifter from X86 to DBA

OCaml

Innovation. Community. Security.