package binsec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

API

binsec
- Library binsec
  - Binsec
    
    Array_utils
    
    Ast_types
    
    AST
    
    Expr
    
    LValue
    
    Instr
    
    PARSER_EXPRESSION
    
    ENV
    
    Base_logger
    
    Basic_types
    
    String
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Int
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    BigInt
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Float
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Int64
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Addr64
    
    Collection_make
    
    Default
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Auto
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Hashed
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Constants
    
    Ternary
    
    Binpatcher
    
    PatchMap
    
    WritableLoader
    
    Binpatcher_options
    
    Logger
    
    PatchOutFile
    
    PatchFile
    
    Binstream
    
    Bitset
    
    Bitvector
    
    Common
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Cfg
    
    S
    
    V
    
    E
    
    Fixpoint
    
    Make
    
    V
    
    E
    
    Fixpoint
    
    Cfgraph
    
    Node
    
    Edge
    
    G
    
    V
    
    E
    
    Dot
    
    Cli
    
    GENERIC
    
    CHECKABLE
    
    GENERIC_OPT
    
    BOOLEAN
    
    INTEGER
    
    INTEGER_SET
    
    INTEGER_LIST
    
    INTEGER_OPT
    
    FLOAT
    
    FLOAT_SET
    
    FLOAT_LIST
    
    FLOAT_OPT
    
    STRING
    
    STRING_OPT
    
    STRING_SET
    
    STRING_LIST
    
    DECL
    
    CLI_DECL
    
    DEFAULTED_CLI_DECL
    
    DETAILED_CLI_DECL
    
    S
    
    Logger
    
    Cli_sig
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Boolean
    
    False
    
    True
    
    Integer
    
    Zero
    
    Integer_set
    
    Integer_list
    
    Integer_option
    
    Float
    
    Float_set
    
    Float_list
    
    Float_option
    
    String
    
    String_choice
    
    String_option
    
    String_set
    
    String_list
    
    Variant_choice
    
    Variant_choice_assoc
    
    Variant_list
    
    Make
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Boolean
    
    False
    
    True
    
    Integer
    
    Zero
    
    Integer_set
    
    Integer_list
    
    Integer_option
    
    Float
    
    Float_set
    
    Float_list
    
    Float_option
    
    String
    
    String_choice
    
    String_option
    
    String_set
    
    String_list
    
    Variant_choice
    
    Variant_choice_assoc
    
    Variant_list
    
    Options
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Boolean
    
    False
    
    True
    
    Integer
    
    Zero
    
    Integer_set
    
    Integer_list
    
    Integer_option
    
    Float
    
    Float_set
    
    Float_list
    
    Float_option
    
    String
    
    String_choice
    
    String_option
    
    String_set
    
    String_list
    
    Variant_choice
    
    Variant_choice_assoc
    
    Variant_list
    
    Boot
    
    Colors
    
    FlatUI
    
    Concrete
    
    Env
    
    Program
    
    Interpreter
    
    Image
    
    Dba_program
    
    Instr_list
    
    Dba
    
    Unary_op
    
    Binary_op
    
    Var
    
    Tag
    
    Expr
    
    LValue
    
    Tag
    
    Jump_target
    
    Instr
    
    Dba_printer
    
    DbaPrinter
    
    Renderer
    
    Make
    
    Ascii
    
    EICAscii
    
    Unicode
    
    EICUnicode
    
    Dba_to_formula
    
    Dba_types
    
    Logger
    
    Call_stack
    
    Caddress
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    AddressStack
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Expr
    
    LValue
    
    Map
    
    Jump_target
    
    Instruction
    
    Declarations
    
    Statement
    
    Dba_utils
    
    Expr
    
    Dba_visitor
    
    inplace_visitor_t
    
    dba_inplace_visitor
    
    Dbacsl_parser
    
    Dbacsl_token
    
    Decode_utils
    
    Dhunk
    
    Check
    
    Directive
    
    Action
    
    Choice
    
    Count
    
    Disasm
    
    Program
    
    Recursive
    
    Disasm_cfg
    
    Disasm_core
    
    W
    
    Successors
    
    Iterable
    
    Make
    
    Disasm_options
    
    Logger
    
    DbaOutputFile
    
    OpcodeOutputFile
    
    NoLoaderMode
    
    IgnoreUnhandledInstructions
    
    ShowInstructionCount
    
    Sections
    
    Functions
    
    Disassembly_mode
    
    Decode_instruction
    
    Decode_replacement
    
    CFG_graph
    
    Disasm_at
    
    Cache_decoder
    
    Dwarf
    
    Dwarf_cunit
    
    Type
    
    Var
    
    Func
    
    Global
    
    Dwarf_expr
    
    Dwarf_frame
    
    Dwarf_lines
    
    Dwarf_options
    
    Logger
    
    Elf_options
    
    Logger
    
    Alloc
    
    Reloc
    
    Errors
    
    File_utils
    
    Formula
    
    Printing
    
    VarSet
    
    BlVarSet
    
    BvVarSet
    
    AxVarSet
    
    BlVarHashtbl
    
    BvVarHashtbl
    
    AxVarHashtbl
    
    BlTermHashtbl
    
    BvTermHashtbl
    
    AxTermHashtbl
    
    Formula_main
    
    Formula_options
    
    Logger
    
    Flatten_memory
    
    No_stitching
    
    OptimAll
    
    OptimCst
    
    OptimItv
    
    OptimPrn
    
    OptimRbs
    
    OptimRow
    
    OptimSsa
    
    OptimLst
    
    Solver
    
    Timeout
    
    Options
    
    Formula_pp
    
    Formula_to_smtlib
    
    Formula_transformation
    
    Formula_utils
    
    BindEnv
    
    Ghidra_cfg
    
    V
    
    E
    
    Ghidra_options
    
    Logger
    
    Runner
    
    Cache
    
    Hash
    
    Hashamt
    
    S
    
    Make
    
    Htx_main
    
    Htx_options
    
    Logger
    
    Directory
    
    Level
    
    Ida
    
    Ida_cfg
    
    VA
    
    H
    
    Function
    
    S
    
    C
    
    V
    
    E
    
    Fixpoint
    
    F
    
    G
    
    Ida_cg
    
    Node
    
    T
    
    Edge
    
    V
    
    E
    
    Fixpoint
    
    Parse
    
    Ida_options
    
    Logger
    
    IdaOutputFile
    
    IdaCfg
    
    IdaSimpleCfg
    
    Ida_utils
    
    VA
    
    Dot
    
    Imap
    
    Infos
    
    BoundThreshold
    
    WideningThreshold
    
    Instr_cfg
    
    S
    
    V
    
    E
    
    Fixpoint
    
    Make
    
    V
    
    E
    
    Fixpoint
    
    V
    
    E
    
    Fixpoint
    
    Instruction
    
    Basic
    
    Make
    
    Generic
    
    Interval
    
    S
    
    Make
    
    Flat
    
    Int
    
    IntFlat
    
    Float
    
    FloatFlat
    
    BitVec
    
    BitVecFlat
    
    Isa_helper
    
    Kernel_core
    
    Kernel_functions
    
    Loader
    
    Kernel_options
    
    Logger
    
    ExecFile
    
    Config_file
    
    Machine
    
    Decoder
    
    Dba_file
    
    Dba_config
    
    Entry_point
    
    Describe_binary
    
    Experimental
    
    Version
    
    Lexer
    
    Lexer_ghidra
    
    List_utils
    
    Lmap
    
    Value
    
    S
    
    Make
    
    Loader
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    View
    
    Loader_buf
    
    S
    
    Peek
    
    Read
    
    Bufferable
    
    Make
    
    Peek
    
    Read
    
    W
    
    Peek
    
    Read
    
    Write
    
    Writable
    
    Wake
    
    Peek
    
    Read
    
    Write
    
    Peek
    
    Read
    
    Write
    
    Loader_elf
    
    E_class
    
    E_ident
    
    Ehdr
    
    ET
    
    Shdr
    
    SHT
    
    SHF
    
    SHN
    
    Sym
    
    STT
    
    STB
    
    Phdr
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Rel
    
    Note
    
    Loader_pe
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_raw
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_sigs
    
    S
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_ti83
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_types
    
    Loader_utils
    
    Binary_loc
    
    Location
    
    Logger
    
    S
    
    ChannelGroup
    
    Make
    
    Lreader
    
    Accessor
    
    Read
    
    Peek
    
    Machine
    
    ISA
    
    Bitwidth
    
    Endianness
    
    Mcount_main
    
    Mcount_options
    
    Logger
    
    Limit
    
    Mnemonic
    
    Natural
    
    Parse_helpers
    
    Initialization
    
    Message
    
    Value
    
    Declarations
    
    Mk
    
    Predicates
    
    Parse_utils
    
    Parser
    
    Parser_ghidra
    
    Predba
    
    Prettytbl
    
    Column
    
    Print_utils
    
    Prover
    
    Command
    
    Riscv_arch
    
    S
    
    Mode
    
    RegisterSize
    
    Register
    
    Riscv_options
    
    Logger
    
    Odump_file
    
    Riscv_to_dba
    
    Runtime
    
    Sites
    
    Sequence
    
    Sigs
    
    ANY
    
    PRINTABLE
    
    STR_INJECTIBLE
    
    STRINGIFIABLE
    
    COMPARABLE
    
    COMPARABLE_EXT
    
    HASHABLE_AUTO
    
    HASHABLE
    
    ITERABLE
    
    Eq
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    COMPARISON
    
    ARITHMETIC
    
    LOGICAL
    
    EXTENDED_LOGICAL
    
    SHIFT_ROT
    
    BITWISE
    
    Simplification_dba
    
    Simplification_dba_block
    
    Constant_propagation
    
    DC_elimination
    
    Simplification_dba_prog
    
    Simplification_dba_utils
    
    Simplification_options
    
    Logger
    
    Display_statistics
    
    Simplification
    
    Simulation
    
    Logger
    
    MemoryFile
    
    InitFile
    
    Directives
    
    Size
    
    Size
    
    Bit
    
    Byte
    
    Smt_model
    
    Smtlib
    
    Smtlib_lexer
    
    Smtlib_options
    
    Logger
    
    Model_from_file
    
    Smtlib_parser
    
    Smtlib_pp
    
    Smtlib_to_formula
    
    Smtlib_utils
    
    Solver
    
    Command
    
    Session
    
    String_utils
    
    Subprocess
    
    Term
    
    Bv
    
    Common
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    S
    
    Make
    
    Utils
    
    Virtual_address
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Worklist
    
    S
    
    Make
    
    CMake
    
    X86Instruction
    
    X86Types
    
    X86Util
    
    X86_options
    
    Logger
    
    HandleSegments
    
    ProtectedMode
    
    X86decoder
    
    X86pp
    
    X86toDba
    
    Z80_arch
    
    Z80_options
    
    Logger
    
    Z80_to_dba
- Library binsec.amd64decoder
  - Amd64decoder
    
    Amd64ToDba
    
    Amd64_options
    
    Logger
- Library binsec.armv7decoder
  - Armv7decoder
    
    ArmToDba
    
    Arm_options
    
    Logger
    
    SupportedModes
- Library binsec.armv8decoder
  - Armv8decoder
    
    Aarch64ToDba
    
    Aarch64_options
    
    Logger
- Library binsec.smt
  - Smt
    
    Smt_bitwuzla
    
    Smt_bitwuzla_utils
    
    Smt_external
    
    Translate
    
    Solver
    
    Smt_options
    
    Logger
    
    SMTSolver
    
    KeepGoing
    
    SMT_dir
    
    SMT_log_directory
    
    Smt_sig
    
    Solver
    
    Smt_solver
    
    Smt_symbolic
    
    State
    
    Suid
- Library binsec.sse
  - Libsse
    
    Exec
    
    OMap
    
    Start
    
    Exploration_stats
    
    Query_stats
    
    Preprocess
    
    Solver
    
    Screen
    
    State
    
    Value
    
    Fiber
    
    Heuristic
    
    Dfs
    
    Bfs
    
    Nurs
    
    Options
    
    Logger
    
    AlternativeEngine
    
    LegacyEngine
    
    MaxDepth
    
    TransientEnum
    
    JumpEnumDepth
    
    QMerge
    
    Randomize
    
    ScriptFiles
    
    Timeout
    
    Search_heuristics
    
    Seed
    
    Probe
    
    Screen
    
    Make
    
    Script
    
    Expr
    
    Pexpr
    
    LValue
    
    Instr
    
    Directive
    
    Script_lexer
    
    Sse_parser
    
    Make
    
    Sse_tokens
    
    Stats
    
    Exploration
    
    Query
    
    Preprocess
    
    Solver
    
    Types
    
    S
    
    I
    
    A
    
    Expr
    
    Var
    
    Output
    
    VALUE
    
    STATE
    
    Value
    
    EXPLORATION_STATISTICS
    
    QUERY_STATISTICS
    
    Preprocess
    
    Solver
    
    STATE_FACTORY
    
    Value
    
    WORKLIST
- Library binsec.sse_register
  - Sse
- Library libformula
  - Libformula
    
    Sse_symbolic
    
    State
    
    Value
- Library libterm
  - Libterm
    
    Native_solver
    
    Solver
    
    Senv
    
    State
    
    Value
    
    Sexpr
    
    Bv
    
    BiMap
    
    Expr
    
    Memory
    
    Store
    
    BvTbl
    
    AxTbl
    
    BiTbl
    
    StTbl
    
    Model
    
    Smt2_solver
    
    Printer
    
    Cross
    
    Solver
    
    Solver_sig
    
    S
    
    FACTORY
- Sources
  - binsec
    
    Runtime.ml
    
    binsec.ml
  - binsec.amd64decoder
    
    amd64ToDba.ml
    
    amd64_options.ml
    
    amd64decoder.ml
  - binsec.armv7decoder
    
    armToDba.ml
    
    arm_options.ml
    
    armv7decoder.ml
  - binsec.armv8decoder
    
    aarch64ToDba.ml
    
    aarch64_options.ml
    
    armv8decoder.ml
  - binsec.smt
    
    smt.ml
    
    smt_bitwuzla.ml
    
    smt_bitwuzla_utils.ml
    
    smt_external.ml
    
    smt_options.ml
    
    smt_solver.ml
    
    smt_symbolic.ml
    
    suid.ml
  - binsec.sse
    
    exec.ml
    
    fiber.ml
    
    heuristic.ml
    
    libsse.ml
    
    options.ml
    
    probe.ml
    
    screen.ml
    
    script.ml
    
    script_lexer.ml
    
    sse_parser.ml
    
    sse_tokens.ml
    
    stats.ml
    
    types.ml
  - binsec.sse_register
    
    sse.ml
  - libformula
    
    libformula.ml
    
    sse_symbolic.ml
  - libterm
    
    libterm.ml
    
    native_solver.ml
    
    senv.ml
    
    sexpr.ml
    
    smt2_solver.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

binsec

API

Library binsec

Binsec

Library binsec.amd64decoder

Amd64decoder

Library binsec.armv7decoder

Armv7decoder

Library binsec.armv8decoder

Armv8decoder

Library binsec.smt

Smt

Library binsec.sse

Libsse

Library binsec.sse_register

Sse Static Symbolic Execution (SSE)

Library libformula

Libformula

Library libterm

Libterm