package binsec_codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package binsec_codex

The Binsec frontend to the Codex static analyzer
- Library binsec_codex.lib
  - Binsec_codex_lib
    
    Analyze
    
    Log
    
    LogInstruction
    
    TypedC
    
    Type_check_tree
    
    Logger
    
    Create
    
    Dba2CodexC
    
    Numeric_simple
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Numeric
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Region
    
    Make
    
    State
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Arch
    
    Registers
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Dba2CState
    
    State
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Record_cfg
    
    Settings
    
    Addr_tbl
    
    Cfg
    
    Dhunk_regex
    
    Dhunk_regex_hash
    
    Dhunk_regex_tbl
    
    Addr_map
    
    Regex_tbl_0
    
    Regex_tbl
    
    Wto_cfg
    
    Reduce_cfg
    
    G'
    
    V
    
    E
    
    OutputCfg
    
    ReadMem
    
    Heap_typechecker
    
    Arch_settings
    
    Registers
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    S
    
    Registers
    
    Domain
    
    Benchmark
    
    Binsec2syntax_tree
    
    Cfg_analysis
    
    V
    
    Map
    
    Set
    
    Hamt
    
    Htbl
    
    E
    
    Cfg
    
    V
    
    E
    
    CfgRegex
    
    Reduce
    
    Wto
    
    Codex_logger
    
    Alarm_record
    
    BINSEC_LOGGER_S
    
    Codex_logger
    
    Codex_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
    
    ApplicationFile
    
    TypeConfigurationFile
    
    X86Types
    
    UseShape
    
    NbTasks
    
    AnalyzeKernel
    
    DynThreads
    
    GlobalsTypes
    
    Hooks
    
    Focusing
    
    Output_Html
    
    UseLoopDomain
    
    VariableDisplay
    
    MMIOs
    
    Location
    
    L
    
    Dba2Codex
    
    VarMap
    
    TypedC
    
    Address_sig
    
    Set
    
    Htbl
    
    RegionS
    
    Virtual_address
    
    Set
    
    Htbl
    
    StateS
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Create
    
    Numeric_simple
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Numeric
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Domain
    
    Context
    
    Boolean
    
    Boolean_Forward
    
    Binary
    
    Binary_Forward
    
    Enum
    
    Enum_Forward
    
    Query
    
    Binary_Lattice
    
    Enum_Lattice
    
    Block_Forward
    
    Memory_Forward
    
    Region
    
    Make
    
    State
    
    Domain
    
    Dhunk_analysis
    
    V
    
    E
    
    G
    
    V
    
    E
    
    Dhunk_regex
    
    Reduce
    
    Wto_alg
    
    Heap_typing
    
    StrMap
    
    MEMORY
    
    Make
    
    Hooks
    
    Addr_tbl
    
    Make
    
    Html
    
    Cfg
    
    VAList
    
    Html
    
    Interval2symbol
    
    Record_cfg
    
    S
    
    Make
    
    X86_arch
    
    Make
    
    Registers
    
    Domain
- Sources
  - binsec_codex.lib
    
    analyze.ml
    
    benchmark.ml
    
    binsec2syntax_tree.ml
    
    binsec_codex_lib.ml
    
    cfg_analysis.ml
    
    codex_logger.ml
    
    codex_options.ml
    
    dba2Codex.ml
    
    dhunk_analysis.ml
    
    heap_typing.ml
    
    hooks.ml
    
    html.ml
    
    interval2symbol.ml
    
    record_cfg.ml
    
    x86_arch.ml

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

Module `X86_arch.Make`Source

Parameters

module Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types

Signature

Sourcemodule Registers : Arch_settings.Registers with module Domain = Domain