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
    
    Ast
    
    Obj
    
    Symbol
    
    Size
    
    Loc
    
    Expr
    
    Instr
    
    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
    
    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
    
    ENABLEABLE
    
    S
    
    Logger
    
    Cli_sig
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    Var
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    Expr
    
    LValue
    
    Map
    
    Jump_target
    
    Instruction
    
    Declarations
    
    Statement
    
    Dba_utils
    
    Expr
    
    Dba_visitor
    
    inplace_visitor_t
    
    dba_inplace_visitor
    
    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
    
    ShowInstructionCount
    
    Sections
    
    Functions
    
    Disassembly_mode
    
    Decode_instruction
    
    CFG_graph
    
    Disasm_at
    
    Cache_decoder
    
    Dwarf
    
    Dwarf_cunit
    
    Type
    
    Var
    
    Func
    
    Global
    
    Dwarf_expr
    
    Dwarf_frame
    
    Dwarf_lines
    
    Dwarf_options
    
    Logger
    
    Dwarf_utils
    
    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_solver
    
    Command
    
    Session
    
    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
    
    Utils
    
    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
    
    Instruction
    
    Declarations
    
    Mk
    
    Predicates
    
    Parse_utils
    
    Parser
    
    Parser_ghidra
    
    Plugins
    
    Sites
    
    Plugins
    
    Plugins
    
    Predba
    
    Prettytbl
    
    Column
    
    Print_utils
    
    Prover
    
    Command
    
    Riscv_arch
    
    S
    
    Mode
    
    RegisterSize
    
    Register
    
    Riscv_options
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    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
    
    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
    
    String_utils
    
    Subprocess
    
    Suid
    
    Term
    
    Op
    
    Bv
    
    Common
    
    Collection
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    S
    
    Make
    
    Unisim_helper
    
    Opcode
    
    Statistics
    
    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
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    Z80_to_dba
- Library binsec.amd64decoder
  - Amd64decoder
    
    Amd64ToDba
- Library binsec.armv7decoder
  - Armv7decoder
    
    ArmToDba
- Library binsec.armv8decoder
  - Armv8decoder
    
    Aarch64ToDba
- Library binsec.domains
  - Domains
    
    S
    
    Interval
- Library binsec.parser
  - Libparser
    
    Syntax
- Library binsec.ppc64decoder
  - Ppc64decoder
    
    Ppc64ToDba
- Library binsec.smt
  - Smt
    
    Smt_external
    
    Translate
    
    Solver
    
    Smt_internal
    
    Make
    
    Smt_options
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    SMTSolver
    
    KeepGoing
    
    SMT_dir
    
    SMT_log_directory
    
    Smt_sig
    
    Solver
    
    Smt_solver
    
    Smt_symbolic
    
    State
- Library binsec.sparcv8decoder
  - Sparcv8decoder
    
    SparcV8ToDba
- Library binsec.sse
  - Libsse
    
    Cse
    
    Expr
    
    Store
    
    Layer
    
    VarMap
    
    StrMap
    
    Env
    
    Dcode
    
    Make
    
    Fiber
    
    G
    
    V
    
    E
    
    CALLBACK
    
    Eval
    
    Raw
    
    Make
    
    Exec
    
    EXTENSION
    
    PLUGIN
    
    Run
    
    Fiber
    
    S
    
    Heuristic
    
    Dfs
    
    Bfs
    
    Nurs
    
    Ir
    
    GRAPH
    
    V
    
    E
    
    Opt
    
    Flags
    
    Options
    
    Logger
    
    Engine
    
    AlternativeEngine
    
    LegacyEngine
    
    MaxDepth
    
    TransientEnum
    
    JumpEnumDepth
    
    QMerge
    
    Cse
    
    KillFlagsAtReturn
    
    Randomize
    
    ScriptFiles
    
    MissingSymbol
    
    Timeout
    
    Monitor
    
    Search_heuristics
    
    Seed
    
    Path
    
    S
    
    Make
    
    Probe
    
    Screen
    
    Make
    
    Script
    
    Symbol
    
    Loc
    
    Expr
    
    Instr
    
    Output
    
    Stats
    
    Exploration
    
    Query
    
    Preprocess
    
    Solver
    
    Types
    
    S
    
    I
    
    A
    
    Expr
    
    Var
    
    Output
    
    UID
    
    VALUE
    
    RAW_STATE
    
    Uid
    
    Value
    
    STATE
    
    Uid
    
    Value
    
    EXPLORATION_STATISTICS
    
    EXPLORATION_STATISTICS_FULL
    
    QUERY_STATISTICS
    
    Preprocess
    
    Solver
    
    STATE_FACTORY
    
    Uid
    
    Value
    
    WORKLIST
- Library binsec.sse_register
  - Sse
- Library checkct
  - Checkct
    
    S
    
    B
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    LeakInfo
    
    Taint
    
    ChosenValues
    
    Relse
    
    StatsFile
    
    Kind
    
    Features
    
    Report
    
    Status
    
    OPTIONS
    
    Ct_state
    
    Make
- Library libformula
  - Libformula
    
    Sse_symbolic
    
    State
    
    Uid
    
    Value
- Library libsolver
  - Libsolver
    
    TERM
    
    Bl
    
    Bv
    
    Ax
    
    S
    
    Bl
    
    Bv
    
    Ax
    
    F
    
    Bl
    
    Bv
    
    Ax
- Library libterm
  - Libterm
    
    Ai
    
    CONTEXT
    
    S
    
    Make
    
    Api_solver
    
    Bv
    
    Expr
    
    Store
    
    Memory
    
    StTbl
    
    BvTbl
    
    AxTbl
    
    NiTbl
    
    BiMap
    
    CONTEXT
    
    AXHOOK
    
    Context
    
    NoHook
    
    Make
    
    Open
    
    BiTbl
    
    SafeArray
    
    Open
    
    Memory_manager
    
    CONTEXT
    
    Make
    
    Senv
    
    State
    
    Uid
    
    Value
    
    Sexpr
    
    Bv
    
    BiMap
    
    Expr
    
    Memory
    
    Store
    
    Chunk
    
    BvTbl
    
    AxTbl
    
    BiTbl
    
    StTbl
    
    Model
    
    BvSet
    
    BvMap
    
    Smt2_solver
    
    Printer
    
    Cross
    
    Solver
    
    Solver
    
    S
    
    OPEN
    
    GET_MODEL
    
    GET_MODEL_WITH_STATS
    
    Once
    
    MultiChecks
- Library shadow_stack
  - Shadow_stack
    
    Logger
    
    Debug_level
    
    Loglevel
    
    Quiet
    
    Builder
    
    Any
    
    Any_opt
    
    Boolean
    
    False
    
    No
    
    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
    
    Mode
    
    Inline
    
    Builtin
- Sources
  - binsec
    
    Plugins.ml
    
    Runtime.ml
    
    binsec.ml
  - binsec.amd64decoder
    
    amd64ToDba.ml
    
    amd64decoder.ml
  - binsec.armv7decoder
    
    armToDba.ml
    
    armv7decoder.ml
  - binsec.armv8decoder
    
    aarch64ToDba.ml
    
    armv8decoder.ml
  - binsec.domains
    
    domains.ml
    
    domains__.ml
  - binsec.parser
    
    libparser.ml
    
    libparser__.ml
    
    syntax.ml
  - binsec.ppc64decoder
    
    ppc64ToDba.ml
    
    ppc64decoder.ml
  - binsec.smt
    
    smt.ml
    
    smt_external.ml
    
    smt_internal.ml
    
    smt_options.ml
    
    smt_solver.ml
    
    smt_symbolic.ml
  - binsec.sparcv8decoder
    
    sparcV8ToDba.ml
    
    sparcv8decoder.ml
  - binsec.sse
    
    cse.ml
    
    dcode.ml
    
    eval.ml
    
    exec.ml
    
    fiber.ml
    
    heuristic.ml
    
    ir.ml
    
    libsse.ml
    
    opt.ml
    
    options.ml
    
    path.ml
    
    probe.ml
    
    screen.ml
    
    script.ml
    
    stats.ml
    
    types.ml
  - binsec.sse_register
    
    sse.ml
  - checkct
    
    checkct.ml
  - libformula
    
    libformula.ml
    
    sse_symbolic.ml
  - libsolver
    
    bitwuzla_c_binding.ml
    
    bitwuzla_cxx_binding.ml
    
    common.ml
    
    libsolver.ml
    
    libsolver__.ml
    
    z3_binding.ml
  - libterm
    
    ai.ml
    
    api_solver.ml
    
    libterm.ml
    
    memory_manager.ml
    
    senv.ml
    
    sexpr.ml
    
    smt2_solver.ml
    
    solver.ml
  - shadow_stack
    
    shadow_stack.ml

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

Module `Binsec.Z80_to_dba`

val decode : Lreader.t -> Virtual_address.t -> Instruction.Generic.t * Dhunk.t

decode r addr decodes what is at address addr in reader r.