package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

bap
- Bap
  - Std
    
    Addr
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Int_err
    
    Int_exn
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    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
    
    Cache
    
    Infix
    
    Io
    
    Result
    
    Id
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Value
    
    Storage
    
    linear
    
    sparse
    
    Trie
    
    Normalized
    
    Types
    
    storage
    
    Bili
    
    context
    
    t
    
    Biri
    
    context
    
    t
    
    Bitvector
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Int_err
    
    Int_exn
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    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
    
    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
    
    context
    
    t
    
    Fmm
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    Graphs
    
    Callgraph
    
    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
    
    Cfg
    
    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
    
    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
    
    Tid
    
    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
    
    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
    
    With_error
    
    Memory_iterators
    
    Monad
    
    State
    
    Let_syntax
    
    Let_syntax
    
    Open_in_body
    
    Open_on_rhs
    
    Monad_infix
    
    S
    
    Let_syntax
    
    Let_syntax
    
    Open_in_body
    
    Open_on_rhs
    
    Monad_infix
    
    T
    
    Option
    
    Or_error
    
    Result
    
    State
    
    Make
    
    Let_syntax
    
    Let_syntax
    
    Open_in_body
    
    Open_on_rhs
    
    Monad_infix
    
    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
    
    Seq
    
    Generator
    
    Let_syntax
    
    Let_syntax
    
    Open_in_body
    
    Open_on_rhs
    
    Monad_infix
    
    Infix
    
    Let_syntax
    
    Let_syntax
    
    Open_in_body
    
    Open_on_rhs
    
    Merge_with_duplicates_element
    
    Monad_infix
    
    Step
    
    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
    
    Map
    
    Cache
    
    Hash_queue
    
    Key
    
    Hash_set
    
    Io
    
    Map
    
    Key
    
    Tree
    
    Replace_polymorphic_compare
    
    Set
    
    Elt
    
    Tree
    
    Table
    
    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
    
    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
    
    Table
    
    Trie
    
    Big
    
    Bits
    
    Bytes
    
    Little
    
    Bits
    
    Bytes
    
    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

A set of low level input operations. Note: it is more effective to use above head iterators, instead of this low level interface, since iterators do not need to check every memory access.

type 'a reader =
  t ->
  pos_ref:addr Core_kernel.Std.ref ->
  'a Core_kernel.Std.Or_error.t

reader mem ~pos_ref defines a set of functions with a common interface. Each function accepts a memory mem and a pos_ref - a reference to a address that should be read. This reference will be updated for the amount of bytes that was actually read.

returns
a word lifted into a monad.

val word : word_size:size -> word reader

val int8 : word reader

val uint8 : word reader

val int16 : word reader

val uint16 : word reader

val int32 : word reader

val int64 : word reader