package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

package bap-std

bap
- Bap
  - Std
    
    Addr
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Int_err
    
    Int_exn
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Stable
    
    V1
    
    V2
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    Unsafe
    
    Arch
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Arg
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Backend
    
    Img
    
    Fields
    
    Direct
    
    Section
    
    Fields
    
    Direct
    
    Segment
    
    Fields
    
    Direct
    
    Symbol
    
    Fields
    
    Direct
    
    Bil
    
    Apply
    
    Cache
    
    Infix
    
    Io
    
    Result
    
    Id
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Storage
    
    linear
    
    sparse
    
    Trie
    
    Normalized
    
    Types
    
    storage
    
    Bili
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    Make
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    t
    
    S
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    t
    
    context
    
    t
    
    Biri
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    Make
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    t
    
    S
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    t
    
    context
    
    t
    
    Bitvector
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Int_err
    
    Int_exn
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Stable
    
    V1
    
    V2
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    Unsafe
    
    Blk
    
    Builder
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Block
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Brancher
    
    Factory
    
    CPU
    
    Call
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Context
    
    t
    
    Def
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Dict
    
    Disasm
    
    With_exn
    
    Disasm_expert
    
    Basic
    
    Insn
    
    Trie
    
    Normalized
    
    Linear
    
    With_exn
    
    Recursive
    
    Eff
    
    Eval
    
    Make
    
    domain
    
    eff
    
    semantics
    
    t
    
    Make2
    
    domain
    
    eff
    
    semantics
    
    t
    
    S
    
    domain
    
    eff
    
    semantics
    
    t
    
    S2
    
    domain
    
    eff
    
    semantics
    
    t
    
    T1
    
    domain
    
    eff
    
    semantics
    
    T2
    
    domain
    
    eff
    
    semantics
    
    Event
    
    Log
    
    Exp
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    finder
    
    mapper
    
    state
    
    visitor
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    Make
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    S
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    context
    
    t
    
    Fmm
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Graphs
    
    Ir
    
    Edge
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Map
    
    Key
    
    Tree
    
    Node
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Image
    
    Loader
    
    Scheme
    
    Segment
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Symbol
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Imm
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Insn
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Trie
    
    Normalized
    
    Integer
    
    Base
    
    Make
    
    T
    
    S
    
    Jmp
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Kind
    
    Label
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Location
    
    Fields
    
    Direct
    
    Log
    
    Memmap
    
    Memory
    
    Input
    
    Make_iterators
    
    Trie
    
    R16
    
    R32
    
    R64
    
    R8
    
    Stable
    
    V1
    
    R16
    
    R32
    
    R64
    
    R8
    
    V2
    
    R16
    
    R32
    
    R64
    
    R8
    
    With_error
    
    Memory_iterators
    
    Op
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Normalized
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Phi
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Program
    
    Builder
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Project
    
    Cache
    
    Info
    
    Input
    
    Io
    
    Pass
    
    Reconstructor
    
    Factory
    
    Reg
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Rooter
    
    Factory
    
    Self
    
    Config
    
    Size
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Variants_of_all
    
    Source
    
    Factory
    
    Make
    
    S
    
    Stmt
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    constant_folder
    
    finder
    
    mapper
    
    state
    
    visitor
    
    Sub
    
    Builder
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Symbolizer
    
    Factory
    
    Symtab
    
    Table
    
    Taint
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    Make
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    propagator
    
    S
    
    Expi
    
    Eval
    
    domain
    
    eff
    
    semantics
    
    t
    
    t
    
    propagator
    
    context
    
    propagator
    
    Target
    
    CPU
    
    Term
    
    mapper
    
    visitor
    
    Tid
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Trie
    
    Array
    
    Prefix
    
    Tok
    
    Suffix
    
    Tok
    
    Key
    
    Make
    
    Key
    
    S
    
    String
    
    Prefix
    
    Suffix
    
    Token
    
    Type
    
    Cache
    
    Error
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Variants
    
    Type_error
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Value
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Match
    
    Replace_polymorphic_compare
    
    S
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Tag
    
    Var
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Vector
    
    Word
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Int_err
    
    Int_exn
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Stable
    
    V1
    
    V2
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    Unsafe
    
    bili
    
    biri
    
    expi
bap-build
- Bap_build
  - Std
    
    Plugin_options
    
    Plugin_rules
bap.bundle
- Bap_bundle
  - Std
    
    Bundle
    
    Builder
    
    Manifest
    
    Fields
    
    Direct
bap.config
- Bap_config
bap.plugins
- Bap_plugins
  - Std
    
    Plugin
    
    Plugins
bap.top
- Core_printers

Legend:
Library
Module
Module type
Parameter
Class
Class type

Context for expression evaluation.

Context provides a unique identifier for each freshly created value.

inherit Context.t

method create_undefined : 's * Bil.result

creates a fresh new result, containing an undefined value, and returns it with a modified context.

method create_word : word -> 's * Bil.result

creates a fresh new result, containing a given word, and returns it with a modified context.

method create_storage : Bil.storage -> 's * Bil.result

creates a fresh new result, containing a given storage, and returns it with a modified context.