package binsec

You can search for identifiers within the package.

in-package search v0.2.0

package binsec

binsec
- CHANGES
- LICENSE
- README
- Library binsec
  - Binsec
    
    Array_utils
    
    Basic_types
    
    Binstream
    
    Bitvector
    
    Collection
    
    Domains
    
    Errors
    
    File_utils
    
    Hash
    
    Hmap
    
    Interval
    
    Lmap
    
    Logger
    
    Machine
    
    Mnemonic
    
    Natural
    
    Parse_utils
    
    Prettytbl
    
    Reader
    
    Sequence
    
    Sigs
    
    Size
    
    String_utils
    
    Suid
    
    Term
    
    Virtual_address
    
    Worklist
    
    Zmap
    
    Dba
    
    Dba_logger
    
    Dba_printer
    
    Dba_types
    
    Dhunk
    
    Predba
    
    Lexer
    
    Parse_helpers
    
    Parser
    
    Loader
    
    Loader_elf
    
    Loader_logger
    
    Loader_pe
    
    Loader_raw
    
    Loader_sigs
    
    Loader_ti83
    
    Loader_types
    
    Loader_utils
    
    Decoder
    
    Instruction
    
    Isa_helper
    
    Isa_logger
    
    Unisim_helper
    
    Z80_arch
    
    Z80_to_dba
    
    Dwarf
    
    Subprocess
    
    Utils
    
    Cli
    
    Plugins
    
    Runtime
    
    Kernel_core
    
    Kernel_functions
    
    Loader
    
    Kernel_options
    
    Logger
    
    ExecFile
    
    Config_file
    
    Machine
    
    Decoder
    
    Dba_file
    
    Dba_config
    
    Entry_point
    
    Describe_binary
    
    Experimental
    
    Version
    
    Formula_options
    
    Logger
    
    No_stitching
    
    OptimAll
    
    OptimCst
    
    OptimItv
    
    OptimPrn
    
    OptimRbs
    
    OptimRow
    
    OptimSsa
    
    OptimLst
    
    Solver
    
    Timeout
    
    Options
    
    Formula_transformation
    
    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
    
    Solver
    
    Timeout
    
    Multichecks
    
    DumpDir
    
    Theory
    
    Smtlib_to_formula
    
    Dba_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
    
    Loader_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
    
    Isa_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
- Library binsec.base
  - Binsec_base
    
    Array_utils
    
    Basic_types
    
    Integers
    
    S
    
    Uint8
    
    Uint16
    
    Uint32
    
    Uint64
    
    Int8
    
    Int16
    
    Int32
    
    Int64
    
    Int
    
    Map
    
    Set
    
    Htbl
    
    Bigint
    
    Compare
    
    Map
    
    Set
    
    Htbl
    
    String
    
    Map
    
    Set
    
    Htbl
    
    Float
    
    Map
    
    Set
    
    Htbl
    
    Collection_make
    
    Default
    
    Map
    
    Set
    
    Htbl
    
    Auto
    
    Map
    
    Set
    
    Htbl
    
    Hashed
    
    Map
    
    Set
    
    Htbl
    
    Constants
    
    Ternary
    
    Binstream
    
    Bitvector
    
    Common
    
    Map
    
    Set
    
    Htbl
    
    Collection
    
    S
    
    Map
    
    Set
    
    Htbl
    
    Default
    
    Map
    
    Set
    
    Htbl
    
    Auto
    
    Map
    
    Set
    
    Htbl
    
    Hashed
    
    Map
    
    Set
    
    Htbl
    
    Domains
    
    S
    
    Interval
    
    Errors
    
    File_utils
    
    Hash
    
    Hmap
    
    S
    
    Make
    
    Interval
    
    S
    
    Make
    
    Flat
    
    Int
    
    IntFlat
    
    Float
    
    FloatFlat
    
    BitVec
    
    BitVecFlat
    
    Lmap
    
    Value
    
    S
    
    Make
    
    Logger
    
    S
    
    ChannelGroup
    
    GROUP
    
    Sub
    
    Make
    
    Group
    
    Sub
    
    Machine
    
    ISA
    
    Bitwidth
    
    Endianness
    
    Mnemonic
    
    Natural
    
    Parse_utils
    
    Prettytbl
    
    Column
    
    Reader
    
    ACCESS
    
    Peek
    
    Read
    
    Sequence
    
    Sigs
    
    ANY
    
    PRINTABLE
    
    STR_INJECTIBLE
    
    STRINGIFIABLE
    
    COMPARABLE
    
    COMPARABLE_EXT
    
    HASHABLE_AUTO
    
    HASHABLE
    
    ITERABLE
    
    EQ
    
    COMPARISON
    
    ARITHMETIC
    
    LOGICAL
    
    EXTENDED_LOGICAL
    
    SHIFT_ROT
    
    BITWISE
    
    Size
    
    Size
    
    Bit
    
    Byte
    
    String_utils
    
    Suid
    
    Term
    
    Op
    
    Bv
    
    S
    
    Make
    
    Virtual_address
    
    Map
    
    Set
    
    Htbl
    
    Worklist
    
    S
    
    Make
    
    CMake
    
    Zmap
- Library binsec.cli
  - Binsec_cli
    
    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
    
    Make_from_logger
    
    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_from_logger
    
    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
    
    Sites
    
    Plugins
    
    Plugins
    
    Sites
    
    Plugins
    
    Plugins
    
    Runtime
    
    Sites
- Library binsec.domains
  - Binsec_domains
    
    Domains
    
    S
    
    Interval
- Library binsec.dwarf
  - Binsec_dwarf
    
    Dwarf
    
    Logger
    
    Expr
    
    Cunit
    
    Tag
    
    Attribute
    
    Class
    
    Constant
    
    String
    
    Exprloc
    
    Ref
    
    Die
    
    Type
    
    Var
    
    Func
    
    Global
    
    Frame
    
    Lines
    
    Loclist
- Library binsec.kernel
  - Binsec_kernel
    
    Array_utils
    
    Basic_types
    
    Binstream
    
    Bitvector
    
    Collection
    
    Domains
    
    Errors
    
    File_utils
    
    Hash
    
    Hmap
    
    Interval
    
    Lmap
    
    Logger
    
    Machine
    
    Mnemonic
    
    Natural
    
    Parse_utils
    
    Prettytbl
    
    Reader
    
    Sequence
    
    Sigs
    
    Size
    
    String_utils
    
    Suid
    
    Term
    
    Virtual_address
    
    Worklist
    
    Zmap
    
    Dba
    
    Dba_logger
    
    Dba_printer
    
    Dba_types
    
    Dhunk
    
    Predba
    
    Lexer
    
    Parse_helpers
    
    Parser
    
    Loader
    
    Loader_elf
    
    Loader_logger
    
    Loader_pe
    
    Loader_raw
    
    Loader_sigs
    
    Loader_ti83
    
    Loader_types
    
    Loader_utils
    
    Decoder
    
    Instruction
    
    Isa_helper
    
    Isa_logger
    
    Unisim_helper
    
    Z80_arch
    
    Z80_to_dba
    
    Dwarf
- Library binsec.script
  - Binsec_script
    
    Ast
    
    Syntax
- Library binsec.smtlib
  - Binsec_smtlib
    
    Logger
    
    Lang
    
    Location
    
    Lexer
    
    Parser
    
    Printer
    
    Utils
    
    Formula
    
    Printing
    
    VarSet
    
    BlVarSet
    
    BvVarSet
    
    AxVarSet
    
    BlVarHashtbl
    
    BvVarHashtbl
    
    AxVarHashtbl
    
    BlTermHashtbl
    
    BvTermHashtbl
    
    AxTermHashtbl
    
    To_smtlib
    
    Transformation
    
    Model
    
    Solver
    
    Command
    
    Make
    
    Utils
    
    BindEnv
    
    Logger
    
    Bindings
    
    Solver
    
    Command
    
    Session
    
    S
    
    Spawn
    
    Dump
    
    Carbon_copy
- Library binsec.sse
  - Binsec_sse
    
    Compiler
    
    ASSEMBLER
    
    Straight
    
    Default
    
    Cse
    
    Cse
    
    Source
    
    Set
    
    Map
    
    Expr
    
    Store
    
    Layer
    
    Env
    
    Disassembly
    
    Callback
    
    Exec
    
    CONFIG
    
    Run
    
    Image
    
    Interpreter
    
    DRIVER
    
    Concrete
    
    Ir
    
    GRAPH
    
    INSTRUMENT
    
    View
    
    Graph
    
    Killset
    
    Logger
    
    Sub
    
    Metrics
    
    TIMER
    
    ASPECT
    
    Timer
    
    QUERY
    
    Preprocess
    
    Timer
    
    Solver
    
    Timer
    
    Query
    
    Preprocess
    
    Timer
    
    Solver
    
    Timer
    
    EXPLORATION
    
    Paths
    
    Topology
    
    Max_depth
    
    Addresses
    
    Instructions
    
    Timer
    
    Exploration
    
    Paths
    
    Topology
    
    Max_depth
    
    Addresses
    
    Instructions
    
    Timer
    
    Opt
    
    Flags
    
    Output
    
    Revision
    
    V
    
    E
    
    Script
    
    Ast
    
    Syntax
    
    Symbol
    
    Loc
    
    Expr
    
    Instr
    
    Output
    
    Symbolic
    
    Default
    
    Evaluator
    
    Metrics
    
    Path
    
    Smtlib
    
    State
    
    Types
    
    STATE
    
    PATH
    
    ENGINE
    
    Path
    
    Value
    
    Model
    
    State
    
    Uid
    
    Value
    
    Model
    
    Cookie
    
    Enumeration
    
    Metrics
    
    Exploration
    
    Paths
    
    Topology
    
    Max_depth
    
    Addresses
    
    Instructions
    
    Timer
    
    Queries
    
    Preprocess
    
    Timer
    
    Solver
    
    Timer
    
    Debug
    
    PLUGIN
    
    EXTENSIONS
    
    Worklist
    
    S
    
    Dfs
    
    Bfs
    
    Nurs
- Library binsec.symbolic
  - Binsec_symbolic
    
    Default
    
    Bv
    
    Chunk
    
    Store
    
    Expr
    
    Set
    
    Map
    
    Hmap
    
    Tbl
    
    Memory
    
    Tbl
    
    Symbol
    
    Tbl
    
    Model
    
    Solver
    
    S
    
    Dummy
    
    Printer
    
    ToFormula
    
    State
    
    Uid
    
    Value
    
    Model
    
    Cookie
    
    Enumeration
    
    Evaluator
    
    Make
    
    Metrics
    
    TIMER
    
    ASPECT
    
    Timer
    
    S
    
    Preprocess
    
    Timer
    
    Solver
    
    Timer
    
    Path
    
    S
    
    Value
    
    Model
    
    State
    
    Uid
    
    Value
    
    Model
    
    Cookie
    
    Enumeration
    
    Make
    
    Value
    
    Model
    
    State
    
    Smtlib
    
    Logger
    
    Lang
    
    Formula
    
    Bindings
    
    Solver
    
    State
    
    UID
    
    VALUE
    
    MODEL
    
    COOKIE
    
    ENUMERATION
    
    DATA
    
    S
    
    Uid
    
    Value
    
    Model
    
    Cookie
    
    Enumeration
- Library binsec.unix
  - Binsec_unix
    
    Subprocess
    
    Utils
- Library binsec_cli_bbsse
  - Binsec_cli_bbsse
    
    V
    
    A
    
    Map
    
    Set
    
    Htbl
    
    I
    
    E
    
    D
    
    G
    
    N
    
    S
    
    Predicate
    
    Stat
    
    Eval
    
    Runner
- Library binsec_cli_disasm
  - Binsec_cli_disasm
    
    Cfg
    
    S
    
    V
    
    E
    
    Fixpoint
    
    Make
    
    V
    
    E
    
    Fixpoint
    
    Colors
    
    FlatUI
    
    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
    
    Infos
    
    BoundThreshold
    
    WideningThreshold
    
    Instr_cfg
    
    S
    
    V
    
    E
    
    Fixpoint
    
    Make
    
    V
    
    E
    
    Fixpoint
    
    V
    
    E
    
    Fixpoint
- Library binsec_cli_ghidra
  - Binsec_cli_ghidra
    
    Ghidra_cfg
    
    V
    
    E
    
    Ghidra_options
    
    Logger
    
    Runner
    
    Cache
    
    Lexer_ghidra
    
    Parser_ghidra
- Library binsec_cli_sse
  - Binsec_cli_sse
    
    Options
    
    Logger
    
    Engine
    
    MaxDepth
    
    TransientEnum
    
    JumpEnumDepth
    
    QMerge
    
    Cse
    
    KillFlagsAtReturn
    
    Randomize
    
    ScriptFiles
    
    Sysroot
    
    MissingSymbol
    
    Timeout
    
    Monitor
    
    Search_heuristics
    
    Seed
    
    Plugins
    
    Screen
    
    Make
    
    Sse
- Library binsec_cli_xtrasec
  - Binsec_cli_xtrasec
    
    Formula_decoder
    
    Instr_to_Formula
    
    State
    
    Binary
    
    Boolean
    
    Generic_decoder
    
    Decode_Expr
    
    Decode_Instr
    
    Generic_decoder_sig
    
    Monad
    
    Monadic_Arity
    
    Expr_Input
    
    M
    
    Binary
    
    Boolean
    
    State_Monad
    
    Instr_Input
    
    State
    
    Binary
    
    Boolean
    
    Llvm_decoder
    
    Parsepin
    
    Transfer_functions
    
    Integer
    
    Arity
    
    Boolean_Backward
    
    Arity
    
    Boolean_Forward
    
    Arity
    
    Binary_Backward
    
    Arity
    
    Binary_Forward
    
    Arity
    
    Xtrasec
    
    Make
    
    Xtrasec_options
    
    Logger
    
    Output_smt
    
    Trace_file
    
    Concretize_regs
    
    Concretize_mem
- Library binsec_isa_armv7
  - Binsec_isa_armv7
    
    ArmToDba
    
    Logger
- Library binsec_isa_armv8
  - Binsec_isa_armv8
    
    Aarch64ToDba
    
    Logger
- Library binsec_isa_ppc64
  - Binsec_isa_ppc64
    
    Ppc64ToDba
    
    Logger
- Library binsec_isa_riscv
  - Binsec_isa_riscv
    
    Riscv_arch
    
    S
    
    Mode
    
    RegisterSize
    
    Register
    
    Riscv_to_dba
- Library binsec_isa_sparcv8
  - Binsec_isa_sparcv8
    
    SparcV8ToDba
    
    Logger
- Library binsec_isa_x86_32
  - Binsec_isa_x86_32
    
    X86Instruction
    
    X86Types
    
    X86Util
    
    X86decoder
    
    X86logger
    
    X86pp
    
    X86toDba
- Library binsec_isa_x86_64
  - Binsec_isa_x86_64
    
    Amd64ToDba
    
    Logger
- Library binsec_kernel_dba
  - Binsec_kernel_dba
    
    Dba
    
    Unary_op
    
    Binary_op
    
    Var
    
    Tag
    
    Attribute
    
    Map
    
    Expr
    
    LValue
    
    Tag
    
    Jump_target
    
    Instr
    
    Dba_logger
    
    Dba_printer
    
    DbaPrinter
    
    Renderer
    
    Make
    
    Ascii
    
    EICAscii
    
    Unicode
    
    EICUnicode
    
    Dba_types
    
    Logger
    
    Call_stack
    
    Caddress
    
    Map
    
    Set
    
    Htbl
    
    AddressStack
    
    Map
    
    Set
    
    Htbl
    
    Var
    
    Map
    
    Set
    
    Htbl
    
    Expr
    
    LValue
    
    Map
    
    Jump_target
    
    Instruction
    
    Declarations
    
    Statement
    
    Dhunk
    
    Check
    
    Predba
- Library binsec_kernel_isa
  - Binsec_kernel_isa
    
    Decoder
    
    Instruction
    
    Basic
    
    Make
    
    Generic
    
    Isa_helper
    
    ARCH
    
    Isa_logger
    
    Sub
    
    Unisim_helper
    
    Opcode
    
    Statistics
    
    Make
    
    Z80_arch
    
    Z80_to_dba
- Library binsec_kernel_loader
  - Binsec_kernel_loader
    
    Loader
    
    Section
    
    Symbol
    
    Img
    
    Loader_elf
    
    E_class
    
    E_ident
    
    Ehdr
    
    ET
    
    Shdr
    
    SHT
    
    SHF
    
    SHN
    
    Sym
    
    STT
    
    STB
    
    Phdr
    
    PHT
    
    PHF
    
    Section
    
    Symbol
    
    Img
    
    Rel
    
    Dynamic
    
    DT
    
    Map
    
    Note
    
    Utils
    
    Loader_logger
    
    Loader_pe
    
    Section
    
    Symbol
    
    Img
    
    Loader_raw
    
    Section
    
    Symbol
    
    Img
    
    Loader_sigs
    
    S
    
    Section
    
    Symbol
    
    Img
    
    Loader_ti83
    
    Section
    
    Symbol
    
    Img
    
    Loader_types
    
    Loader_utils
    
    Binary_loc
- Library binsec_kernel_parser
  - Binsec_kernel_parser
    
    Lexer
    
    Parse_helpers
    
    Initialization
    
    Message
    
    Value
    
    Instruction
    
    Declarations
    
    Mk
    
    Predicates
    
    Parser
- Library binsec_script_ast
  - Binsec_script_ast
    
    Ast
    
    Obj
    
    Symbol
    
    Size
    
    Loc
    
    Expr
    
    Instr
- Library binsec_smtlib_bindings
  - Binsec_smtlib_bindings
    
    TERM
    
    Bl
    
    Bv
    
    Ax
    
    S
    
    Bl
    
    Bv
    
    Ax
    
    OPEN
    
    Bl
    
    Bv
    
    Ax
- Library binsec_sse_checkct
  - Binsec_sse_checkct
    
    StrMap
    
    BiTbl
    
    Logger
    
    Kind
    
    Report
    
    Status
    
    OPTIONS
    
    Ct_state
    
    Make
    
    Plugin
- Library binsec_sse_loader
  - Binsec_sse_loader
    
    Disassembly
    
    Revision
    
    V
    
    E
    
    Callback
    
    Image
    
    Ir
    
    GRAPH
    
    V
    
    E
    
    INSTRUMENT
    
    View
    
    V
    
    E
    
    Graph
    
    V
    
    E
    
    Killset
    
    Logger
    
    Sub
- Library binsec_sse_quick_merge
  - Binsec_sse_quick_merge
    
    Plugin
- Library binsec_sse_shadow_stack
  - Binsec_sse_shadow_stack
    
    Logger
    
    Inline_plugin
    
    Builtin
    
    Builtin_plugin
- Library binsec_sse_stake
  - Binsec_sse_stake
    
    StrMap
    
    Logger
    
    Watchpoint
    
    OPTIONS
    
    Builtin
    
    Plugin
- Library checkct
  - Checkct
- Library shadow_stack
  - Shadow_stack
- Library stake
  - Stake
- Sources
  - binsec
    
    binsec.ml
    
    binsec__.ml
    
    debug.ml
    
    formula_main.ml
    
    formula_options.ml
    
    kernel_core.ml
    
    kernel_functions.ml
    
    kernel_options.ml
    
    smt_options.ml
    
    smtlib.ml
    
    smtlib_options.ml
    
    smtlib_to_formula.ml
  - binsec.base
    
    array_utils.ml
    
    basic_types.ml
    
    binsec_base.ml
    
    binstream.ml
    
    bitvector.ml
    
    collection.ml
    
    domains.ml
    
    errors.ml
    
    file_utils.ml
    
    hash.ml
    
    hmap.ml
    
    interval.ml
    
    lmap.ml
    
    logger.ml
    
    machine.ml
    
    mnemonic.ml
    
    natural.ml
    
    parse_utils.ml
    
    prettytbl.ml
    
    reader.ml
    
    sequence.ml
    
    size.ml
    
    string_utils.ml
    
    suid.ml
    
    term.ml
    
    virtual_address.ml
    
    worklist.ml
    
    zmap.ml
  - binsec.cli
    
    Plugins.ml
    
    Runtime.ml
    
    binsec_cli.ml
    
    cli.ml
  - binsec.domains
    
    binsec_domains.ml
    
    binsec_domains__.ml
    
    domains.ml
  - binsec.dwarf
    
    binsec_dwarf.ml
    
    binsec_dwarf__.ml
    
    cunit.ml
    
    dwarf.ml
    
    expr.ml
    
    frame.ml
    
    lines.ml
    
    loclist.ml
    
    logger.ml
    
    utils.ml
  - binsec.kernel
    
    binsec_kernel.ml
  - binsec.script
    
    binsec_script.ml
    
    binsec_script__.ml
    
    syntax.ml
  - binsec.smtlib
    
    binsec_smtlib.ml
    
    binsec_smtlib__.ml
    
    logger.ml
  - binsec.sse
    
    binsec_sse.ml
    
    compiler.ml
    
    cse.ml
    
    disassembly.ml
    
    exec.ml
    
    image.ml
    
    interpreter.ml
    
    ir.ml
    
    logger.ml
    
    metrics.ml
    
    opt.ml
    
    output.ml
    
    revision.ml
    
    script.ml
    
    symbolic.ml
    
    worklist.ml
  - binsec.symbolic
    
    binsec_symbolic.ml
    
    binsec_symbolic__Default__.ml
    
    binsec_symbolic__Default__Solver__.ml
    
    evaluator.ml
    
    metrics.ml
    
    path.ml
    
    smtlib.ml
    
    state.ml
  - binsec.unix
    
    binsec_unix.ml
    
    subprocess.ml
    
    utils.ml
  - binsec_cli_bbsse
    
    binsec_cli_bbsse.ml
    
    binsec_cli_bbsse__.ml
    
    lexer.ml
    
    options.ml
    
    parser.ml
    
    path_generator.ml
    
    types.ml
  - binsec_cli_disasm
    
    binsec_cli_disasm.ml
    
    cfg.ml
    
    colors.ml
    
    disasm.ml
    
    disasm_cfg.ml
    
    disasm_core.ml
    
    disasm_options.ml
    
    infos.ml
    
    instr_cfg.ml
  - binsec_cli_ghidra
    
    binsec_cli_ghidra.ml
    
    ghidra_cfg.ml
    
    ghidra_options.ml
    
    lexer_ghidra.ml
    
    parser_ghidra.ml
  - binsec_cli_sse
    
    binsec_cli_sse.ml
    
    options.ml
    
    plugins.ml
    
    screen.ml
    
    sse.ml
  - binsec_cli_xtrasec
    
    binsec_cli_xtrasec.ml
    
    formula_decoder.ml
    
    generic_decoder.ml
    
    generic_decoder_sig.ml
    
    parsepin.ml
    
    transfer_functions.ml
    
    xtrasec.ml
    
    xtrasec_options.ml
  - binsec_isa_armv7
    
    armToDba.ml
    
    binsec_isa_armv7.ml
  - binsec_isa_armv8
    
    aarch64ToDba.ml
    
    binsec_isa_armv8.ml
  - binsec_isa_ppc64
    
    binsec_isa_ppc64.ml
    
    ppc64ToDba.ml
  - binsec_isa_riscv
    
    binsec_isa_riscv.ml
    
    riscv_arch.ml
    
    riscv_to_dba.ml
  - binsec_isa_sparcv8
    
    binsec_isa_sparcv8.ml
    
    sparcV8ToDba.ml
  - binsec_isa_x86_32
    
    binsec_isa_x86_32.ml
    
    x86Instruction.ml
    
    x86Util.ml
    
    x86decoder.ml
    
    x86logger.ml
    
    x86pp.ml
    
    x86toDba.ml
  - binsec_isa_x86_64
    
    amd64ToDba.ml
    
    binsec_isa_x86_64.ml
  - binsec_kernel_dba
    
    binsec_kernel_dba.ml
    
    dba.ml
    
    dba_logger.ml
    
    dba_printer.ml
    
    dba_types.ml
    
    dhunk.ml
    
    predba.ml
  - binsec_kernel_isa
    
    binsec_kernel_isa.ml
    
    decoder.ml
    
    instruction.ml
    
    isa_helper.ml
    
    isa_logger.ml
    
    unisim_helper.ml
  - binsec_kernel_loader
    
    binsec_kernel_loader.ml
    
    loader.ml
    
    loader_elf.ml
    
    loader_logger.ml
    
    loader_pe.ml
    
    loader_raw.ml
    
    loader_ti83.ml
    
    loader_types.ml
    
    loader_utils.ml
  - binsec_kernel_parser
    
    binsec_kernel_parser.ml
    
    lexer.ml
    
    parse_helpers.ml
    
    parser.ml
  - binsec_script_ast
    
    ast.ml
    
    binsec_script_ast.ml
  - binsec_smtlib_bindings
    
    binsec_smtlib_bindings.ml
    
    binsec_smtlib_bindings__.ml
    
    bitwuzla_c_binding.ml
    
    bitwuzla_cxx_binding.ml
    
    common.ml
    
    z3_binding.ml
  - binsec_sse_checkct
    
    binsec_sse_checkct.ml
  - binsec_sse_loader
    
    binsec_sse_loader.ml
    
    disassembly.ml
    
    image.ml
    
    ir.ml
    
    logger.ml
  - binsec_sse_quick_merge
    
    binsec_sse_quick_merge.ml
  - binsec_sse_shadow_stack
    
    binsec_sse_shadow_stack.ml
  - binsec_sse_stake
    
    binsec_sse_stake.ml
  - checkct
    
    checkct.ml
  - shadow_stack
    
    shadow_stack.ml
  - stake
    
    stake.ml

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

Module `Binsec_symbolic.Smtlib`Source

include module type of struct include Binsec_smtlib end

Sourcemodule Logger = Binsec_smtlib.Logger

Sourcemodule Lang = Binsec_smtlib.Lang

Sourcemodule Formula = Binsec_smtlib.Formula

module Bindings = Binsec_smtlib.Bindings

Sourcemodule Solver = Binsec_smtlib.Solver

package binsec

Module Binsec_symbolic.SmtlibSource

Module `Binsec_symbolic.Smtlib`Source