package binsec

You can search for identifiers within the package.

in-package search v0.2.0

binsec
- CHANGES
- LICENSE
- README
- Library binsec
  - Binsec
    
    Array_utils
    
    Astbuilder
    
    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
    
    Hashed
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Constants
    
    Ternary
    
    Bbsse_backward
    
    Backward
    
    PredicatSet
    
    Stats
    
    R
    
    Env
    
    Eval
    
    Bbsse_bb_paths
    
    Path_generator
    
    Bbsse_lexer
    
    Bbsse_options
    
    Logger
    
    MaxCondition
    
    MaxConditionCycle
    
    ProcessAllJumps
    
    GenGroundTruth
    
    FindJumps
    
    OPFile
    
    IgnoreAddr
    
    MaxDepth
    
    Address_counter
    
    Visit_address_counter
    
    Bbsse_parser
    
    Bbsse_smt
    
    Query_stats
    
    Solver
    
    Translate
    
    Bbsse_types
    
    Extra
    
    C
    
    V
    
    E
    
    Fixpoint
    
    Path_state
    
    GLOBAL_ENV
    
    Directives
    
    Enumeration
    
    Path
    
    Dfs_global
    
    Directives
    
    Enumeration
    
    Path
    
    Bfs_global
    
    Directives
    
    Enumeration
    
    Path
    
    Nurs_global
    
    Directives
    
    Enumeration
    
    Path
    
    Binpatcher
    
    PatchMap
    
    WritableLoader
    
    Binpatcher_options
    
    Logger
    
    PatchOutFile
    
    PatchFile
    
    Binstream
    
    Bitset
    
    Bitvector
    
    Common
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Bw_main
    
    Bw_options
    
    Logger
    
    Opaque_predicates
    
    Opaque_addresses
    
    Opaque_sections
    
    K
    
    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
    
    VarTag
    
    Expr
    
    Var
    
    LValue
    
    Tag
    
    Jump_target
    
    Instr
    
    Dba_printer
    
    DbaPrinter
    
    Renderer
    
    Make
    
    Ascii
    
    EICAscii
    
    Unicode
    
    EICUnicode
    
    Dba_to_formula
    
    Dba_types
    
    Logger
    
    Call_stack
    
    Region
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Caddress
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    AddressStack
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Rights
    
    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
    
    Node
    
    Check
    
    Simplify
    
    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
    
    SimplifiedDisassembly
    
    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_decoder
    
    Instr_to_Formula
    
    State
    
    Binary
    
    Boolean
    
    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
    
    Fstack
    
    Typed
    
    Make
    
    Generic_decoder
    
    Decode_Expr
    
    Decode_Instr
    
    Generic_decoder_sig
    
    Monad
    
    Monadic_Arity
    
    Expr_Input
    
    M
    
    Binary
    
    Boolean
    
    State_Monad
    
    Instr_Input
    
    State
    
    Binary
    
    Boolean
    
    Ghidra_cfg
    
    V
    
    E
    
    Vtbl
    
    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
    
    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
    
    Lexer_infos
    
    List_utils
    
    Loader
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_buf
    
    S
    
    Peek
    
    Read
    
    Bufferable
    
    Make
    
    Peek
    
    Read
    
    W
    
    Peek
    
    Read
    
    Write
    
    Writable
    
    Wake
    
    Peek
    
    Read
    
    Write
    
    Peek
    
    Read
    
    Write
    
    Loader_dump
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    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
    
    Loader_pe
    
    Section
    
    Symbol
    
    Img
    
    Offset
    
    Peek
    
    Read
    
    Address
    
    Peek
    
    Read
    
    Loader_sigs
    
    S
    
    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
    
    Opaque
    
    Opacity_status
    
    Check
    
    Parse_helpers
    
    Initialization
    
    Message
    
    Value
    
    Declarations
    
    Mk
    
    Predicates
    
    Permissions
    
    Parse_utils
    
    Parsepin
    
    Parser
    
    Parser_ghidra
    
    Parser_infos
    
    Predba
    
    Prettytbl
    
    Column
    
    Print_utils
    
    Prover
    
    Command
    
    Riscv_arch
    
    S
    
    Mode
    
    V32
    
    V64
    
    V128
    
    Riscv_options
    
    Logger
    
    Odump_file
    
    Riscv_to_dba
    
    Runtime
    
    Sites
    
    Senv
    
    Query_stats
    
    Sequence
    
    Sigs
    
    ANY
    
    PRINTABLE
    
    STR_INJECTIBLE
    
    STRINGIFIABLE
    
    COMPARABLE
    
    HASHABLE_AUTO
    
    HASHABLE
    
    ITERABLE
    
    Eq
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Comparisons
    
    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
    
    Sse
    
    Sse_graph
    
    G
    
    V
    
    E
    
    Fixpoint
    
    Sse_lexer
    
    Sse_options
    
    Logger
    
    MaxDepth
    
    JumpEnumDepth
    
    Randomize
    
    KeepGoing
    
    SMT_dir
    
    AddressTraceFile
    
    AvoidAddresses
    
    GoalAddresses
    
    LoadSections
    
    LoadROSections
    
    MemoryFile
    
    ScriptFiles
    
    Comment
    
    Timeout
    
    Address_counter
    
    Visit_address_counter
    
    Search_heuristics
    
    Solver_call_frequency
    
    Seed
    
    Directives
    
    Dot_filename_out
    
    SMT_log_directory
    
    Sse_pack
    
    Sse_parser
    
    Make
    
    Sse_prune
    
    Distance
    
    Sse_smt
    
    Translate
    
    Sse_symbolic
    
    State
    
    Sse_tokens
    
    Sse_types
    
    Pragma
    
    Script
    
    C
    
    V
    
    E
    
    Fixpoint
    
    Path_state
    
    WORKLIST
    
    Dfs
    
    Bfs
    
    Nurs
    
    Sse_utils
    
    String_utils
    
    Subprocess
    
    Transfer_functions
    
    Integer
    
    Arity
    
    Boolean_Backward
    
    Arity
    
    Boolean_Forward
    
    Arity
    
    Binary_Backward
    
    Arity
    
    Binary_Forward
    
    Arity
    
    Utils
    
    Virtual_address
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Worklist
    
    S
    
    Make
    
    CMake
    
    X86Instruction
    
    X86Types
    
    X86Util
    
    X86_options
    
    Logger
    
    HandleSegments
    
    ProtectedMode
    
    X86decoder
    
    X86pp
    
    X86toDba
    
    Xtrasec
    
    Make
    
    Xtrasec_options
    
    Logger
    
    Output_smt
    
    Trace_file
    
    Concretize_regs
    
    Concretize_mem
- Sources
  - binsec
    
    Runtime.ml
    
    binsec.ml

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

Module `Binsec.Bw_main`

Entry point for backwards analyses.