package binsec

You can search for identifiers within the package.

in-package search v0.2.0

package binsec

binsec
- Library binsec
  - Binsec
    
    Array_utils
    
    Ast_builder
    
    AST
    
    Expr
    
    LValue
    
    Instr
    
    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
    
    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

Module `Libsse.Exec`Source

Sourceexception Halt

Sourcemodule OMap : sig ... end

Source

val pp_value_as : 
  Types.Output.format ->
  Format.formatter ->
  Binsec.Bitvector.t ->
  unit

Sourcemodule Start (SF : Types.STATE_FACTORY) (W : Types.WORKLIST) : sig ... end

package binsec

Module Libsse.ExecSource

Module `Libsse.Exec`Source