package soteria

You can search for identifiers within the package.

in-package search v0.2.0

package soteria

Soteria Documentation
- CHANGELOG
- README
- Soteria Symbolic Execution Tutorial
- Soteria Logging Tutorial
- Soteria Statistics Tutorial
- sym_state_ppx
- Library ppx_symex
  - Ppx_symex
- Library soteria
  - Soteria
    
    Bv_values
    
    Analyses
    
    Make
    
    Svalue
    
    Eval
    
    S
    
    Merge
    
    None
    
    Interval
    
    Equality
    
    Encoding
    
    Make
    
    Svalue
    
    Eval
    
    Make
    
    Save_counter
    
    Svalue
    
    Var
    
    FloatPrecision
    
    FloatClass
    
    RoundingMode
    
    Nop
    
    Unop
    
    Binop
    
    Value_ext
    
    Dummy_ext
    
    Make
    
    Ext
    
    Unop
    
    Binop
    
    Nop
    
    RoundingMode
    
    FloatClass
    
    FloatPrecision
    
    Var
    
    Hcons
    
    Hashtbl
    
    Bool
    
    BitVec
    
    Float
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Bv_solver
    
    Z3_solver
    
    Value
    
    Z3_incremental_solver
    
    Value
    
    Typed
    
    S
    
    Ext
    
    Svalue
    
    Ext
    
    Unop
    
    Binop
    
    Nop
    
    RoundingMode
    
    FloatClass
    
    FloatPrecision
    
    Var
    
    Hcons
    
    Hashtbl
    
    Bool
    
    BitVec
    
    Float
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Eval
    
    T
    
    FloatPrecision
    
    FloatClass
    
    RoundingMode
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Expr
    
    Subst
    
    Make_transparent
    
    Svalue
    
    Ext
    
    Unop
    
    Binop
    
    Nop
    
    RoundingMode
    
    FloatClass
    
    FloatPrecision
    
    Var
    
    Hcons
    
    Hashtbl
    
    Bool
    
    BitVec
    
    Float
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Ext
    
    Eval
    
    T
    
    FloatPrecision
    
    FloatClass
    
    RoundingMode
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Expr
    
    Subst
    
    Make
    
    Ext
    
    Svalue
    
    Ext
    
    Unop
    
    Binop
    
    Nop
    
    RoundingMode
    
    FloatClass
    
    FloatPrecision
    
    Var
    
    Hcons
    
    Hashtbl
    
    Bool
    
    BitVec
    
    Float
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Eval
    
    T
    
    FloatPrecision
    
    FloatClass
    
    RoundingMode
    
    Bool
    
    BitVec
    
    Float
    
    Ptr
    
    SSeq
    
    Infix
    
    Expr
    
    Subst
    
    Config
    
    Data
    
    Abstr
    
    M
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    Range_tree
    
    S_bool
    
    S
    
    S
    
    Make_syntax
    
    S_int
    
    S
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    Bounded_S
    
    Make_syntax
    
    Sym_int_syntax
    
    S_range
    
    Make
    
    S_map
    
    Key
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    S_patricia_tree
    
    S
    
    S
    
    Mk_concrete_key
    
    Make
    
    Make_patricia_tree
    
    Direct_access
    
    Direct_access_patricia_tree
    
    Lazy
    
    Lazy_patricia_tree
    
    Concrete
    
    Logic
    
    Make
    
    Asrt
    
    Base
    
    Execute
    
    Execute_partial
    
    Util
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    Option
    
    Logs
    
    Level
    
    Config
    
    L
    
    Profile
    
    Color
    
    Printers
    
    Import
    
    L
    
    Profiling
    
    Config
    
    Flamegraph
    
    Make
    
    Smt
    
    Reader
    
    Subprocess
    
    StrSet
    
    StrMap
    
    RoundingMode
    
    Solvers
    
    Solver_interface
    
    S
    
    Value
    
    S
    
    Z3
    
    StatKeys
    
    Make
    
    Config
    
    Soteria_std
    
    Bimap
    
    Make
    
    M
    
    M_rev
    
    MakePp
    
    M
    
    M_rev
    
    Cmdliner_helpers
    
    Sections
    
    Compo_res
    
    Syntax
    
    Base
    
    Syntax
    
    S
    
    Extend
    
    Make_syntax
    
    T
    
    Dynarray
    
    Effects
    
    Bookkeeping
    
    S
    
    Exn
    
    Filename
    
    Graph
    
    Make_in_place
    
    Node_set
    
    Hashtbl
    
    With_names
    
    Make_with_dot
    
    Node_set
    
    Hashtbl
    
    Hashset
    
    S
    
    PrintableHashedType
    
    Make
    
    Hstring
    
    Hint
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    MakeYojsonable
    
    Hint
    
    Hstring
    
    Iarray
    
    Infix
    
    Int
    
    Iter
    
    Set
    
    Map
    
    Infix
    
    IO
    
    List
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Monad
    
    Base
    
    Syntax
    
    Extension
    
    S
    
    Syntax
    
    Base2
    
    Syntax2
    
    Extension2
    
    S2
    
    Syntax
    
    Make_extension
    
    Make_syntax
    
    Extend
    
    Syntax
    
    Make_extension2
    
    Make_syntax2
    
    Extend2
    
    Syntax
    
    Id
    
    Syntax
    
    ResultT
    
    ListM
    
    Syntax
    
    ResultM
    
    Syntax
    
    OptionM
    
    Syntax
    
    SeqM
    
    Syntax
    
    IterM
    
    Syntax
    
    StateM
    
    Syntax
    
    StateT_base
    
    StateT_p
    
    Syntax
    
    Option
    
    Syntax
    
    Ordered_type
    
    S
    
    PatriciaTree
    
    Key
    
    Map
    
    Set
    
    MakeMap
    
    MakeSet
    
    MakeWeak
    
    MakeWeakSet
    
    Resource_pool
    
    Resource
    
    S
    
    Make
    
    Result
    
    Syntax
    
    Reversible
    
    Mutable
    
    Make_mutable
    
    Make_mutable_array
    
    Effectful
    
    Mutable_to_pooled
    
    Mutable_to_effectful
    
    Make_effectful
    
    Seq
    
    Sigs
    
    Printable
    
    Eq
    
    String_encodable
    
    Yojsonable
    
    Foldable
    
    String
    
    Interned
    
    Subprocess
    
    Syntaxes
    
    List
    
    Option
    
    Result
    
    FunctionWrap
    
    Sys
    
    Immediate64
    
    Unix
    
    LargeFile
    
    Write_once
    
    Z
    
    Compare
    
    Stats
    
    As_ctx
    
    Config
    
    Sym_states
    
    Base
    
    M
    
    S
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    State_monad
    
    Soteria_symex
    
    Base_sig
    
    S
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Make
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Excl
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Agree
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Pure_fun
    
    Codom
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Freeable
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Pmap
    
    Key
    
    Key_S
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    S_patricia_tree
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    S_patricia_tree
    
    S
    
    S
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Make_patricia_tree
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Direct_access
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Direct_access_patricia_tree
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Lazy
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Lazy_patricia_tree
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Concrete
    
    SM
    
    Symex
    
    Value
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Plist
    
    S_int_sig
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S_int
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    Bounded_S
    
    S
    
    Make
    
    M
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Tree_block
    
    Split_tree
    
    MemVal
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S_int
    
    Abstr
    
    S
    
    S_with_syn
    
    Sem_eq
    
    Simplifiable
    
    S
    
    Bounded_S
    
    S
    
    S_bool
    
    S_int
    
    Make
    
    Expr
    
    Range
    
    Split_tree
    
    Node
    
    Tree
    
    Frame_range
    
    Consumer_frame_range
    
    Producer_frame_range
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    With_info
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Bi_abd
    
    Make
    
    SM
    
    Symex
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Syntax
    
    Symex_syntax
    
    Symex
    
    Approx
    
    As_ctx
    
    Fuel_gauge
    
    Fuel_value
    
    Cli
    
    Solver
    
    Mutable_incremental
    
    Value
    
    Expr
    
    Subst
    
    Mutable_to_effectful
    
    Value
    
    Mutable_to_pooled
    
    Value
    
    Solver_result
    
    Value
    
    Expr
    
    Subst
    
    S
    
    Expr
    
    Subst
    
    Var
    
    Incr_counter_mut
    
    Hashset
    
    Set
    
    Hashtbl
    
    Map
    
    Or_gave_up
    
    Symex_syntax_S
    
    Core
    
    Value
    
    Expr
    
    Subst
    
    Base
    
    Value
    
    Expr
    
    Subst
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    S
    
    Value
    
    Expr
    
    Subst
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Solver_pool
    
    Result
    
    StatKeys
    
    Make_core
    
    Solver
    
    Value
    
    Expr
    
    Subst
    
    Solver_pool
    
    Fuel
    
    Value
    
    MONAD
    
    Syntax
    
    Flamegraph
    
    Give_up
    
    Symex_state
    
    Base_extension
    
    Result
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    P
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Make
    
    Value
    
    Syntax
    
    Symex_syntax
    
    Producer
    
    Syntax
    
    Symex_syntax
    
    Consumer
    
    Syntax
    
    Symex_syntax
    
    Solver_pool
    
    Result
    
    Terminal
    
    Call_trace
    
    Config
    
    Diagnostic
    
    Progress_bar
    
    Range
    
    Warn
    
    WarnHSet
    
    WarnTraceHSet
    
    Tiny_values
    
    Analyses
    
    S
    
    Merge
    
    None
    
    Interval
    
    Encoding
    
    Eval
    
    Save_counter
    
    Svalue
    
    Var
    
    Nop
    
    Unop
    
    Binop
    
    Hcons
    
    Hashtbl
    
    Infix
    
    Syntax
    
    Sym_int_syntax
    
    Tiny_solver
    
    Z3_solver
    
    Value
    
    Z3_incremental_solver
    
    Value
    
    Typed
    
    T
    
    Infix
    
    Syntax
    
    Sym_int_syntax
    
    Expr
    
    Subst
    
    Version
- Sources
  - ppx_symex
    
    expander.ml
    
    logs.ml
    
    ppx_symex.ml
    
    ppx_symex__.ml
    
    reversible.ml
    
    sym_state.ml
    
    util.ml
  - soteria
    
    soteria.ml
    
    soteria__Bv_values__.ml
    
    soteria__Config__.ml
    
    soteria__Data__.ml
    
    soteria__Logic__.ml
    
    soteria__Logs__.ml
    
    soteria__Profiling__.ml
    
    soteria__Smt__.ml
    
    soteria__Solvers__.ml
    
    soteria__Soteria_std__.ml
    
    soteria__Stats__.ml
    
    soteria__Sym_states__.ml
    
    soteria__Symex__.ml
    
    soteria__Terminal__.ml
    
    soteria__Tiny_values__.ml
    
    version.ml

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

Parameter `Make_mutable_array.Elt`

type t