package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package mopsa

mopsa
- CHANGELOG
- README
- Library abstraction
  - Abstraction
    
    Domain
    
    DOMAIN
    
    Functor
    
    DOMAIN_FUNCTOR
    
    Functor
    
    Partitioning
    
    PARTITIONING
    
    Simplified
    
    SIMPLIFIED
    
    Simplified_functor
    
    SIMPLIFIED_FUNCTOR
    
    Functor
    
    Simplified_value
    
    SIMPLIFIED_VALUE
    
    DefaultValueFunctions
    
    MakeValue
    
    Stacked
    
    STACKED
    
    Stateless
    
    STATELESS
    
    Value
    
    VALUE
    
    DefaultValueFunctions
    
    Value_functor
    
    VALUE_FUNCTOR
    
    Functor
- Library ast
  - Ast
    
    Addr
    
    Constant
    
    Expr
    
    ExprSet
    
    ExprMap
    
    Frontend
    
    Operator
    
    Program
    
    Semantic
    
    SemanticSet
    
    SemanticMap
    
    Stmt
    
    StmtSet
    
    StmtMap
    
    Typ
    
    Var
    
    VarSet
    
    VarMap
    
    Visitor
- Library bitfields
  - Bitfields
    
    IntBitfields
    
    I
    
    B
    
    C
- Library c
  - C
    
    Ast
    
    Pp
    
    Visitor
    
    Frontend
    
    Common
    
    Cstubs
    
    Hooks
    
    Iterators
    
    Lang
    
    Libs
    
    Memory
    
    Packing
- Library c_common
  - C_common
    
    Common
    
    Alarms
    
    Base
    
    Base
    
    BaseSet
    
    BaseMap
    
    Builtins
    
    Points_to
    
    PointsToSet
    
    PointsToMap
    
    Quantified_offset
    
    Scope_update
    
    Soundness
- Library c_lang
  - C_lang
    
    Lang
    
    Ast
    
    CProgramKey
    
    TargetCtx
    
    Pp
    
    Visitor
    
    Frontend
- Library cfg
  - Cfg
    
    Ast
    
    Loc
    
    TagLoc
    
    Range
    
    Port
    
    LocSet
    
    LocMap
    
    LocHash
    
    TagLocSet
    
    TagLocMap
    
    TagLocHash
    
    RangeSet
    
    RangeMap
    
    RangeHash
    
    CFG_Param
    
    NodeId
    
    EdgeId
    
    Port
    
    CFG
    
    P
    
    NodeId
    
    EdgeId
    
    Port
    
    NodeSet
    
    EdgeSet
    
    NodeMap
    
    EdgeMap
    
    Frontend
    
    Iterator
    
    Domain
    
    Pp
    
    Visitor
- Library combiner
  - Combiner
    
    Domain
    
    DOMAIN_COMBINER
    
    DomainToCombiner
    
    StandardToStacked
    
    StackedToStandard
    
    Simplified
    
    SIMPLIFIED_COMBINER
    
    SimplifiedToCombiner
    
    CombinerToSimplified
    
    SimplifiedToStandard
    
    Simplified_functor
    
    SIMPLIFIED_FUNCTOR
    
    Functor
    
    Stacked
    
    STACKED_COMBINER
    
    EmptyDomain
    
    StackedToCombiner
    
    CombinerToStacked
    
    Stateless
    
    STATELESS_COMBINER
    
    StatelessToCombiner
    
    CombinerToStateless
    
    StatelessToDomain
- Library combiners
  - Combiners
    
    Common
    
    Value
    
    Domain
- Library combiners_common
  - Combiners_common
    
    Common
- Library config
  - Config
    
    Builder
    
    Parser
    
    Syntax
    
    Visitor
- Library congUtils
  - CongUtils
    
    IntCong
    
    I
    
    B
- Library containers
  - Containers
    
    Equiv
    
    OrderedType
    
    Make
    
    LR
    
    RL
    
    Graph
    
    IdGeneric
    
    IdInt
    
    IdString
    
    IdUnit
    
    IdPair
    
    Make
    
    P
    
    NodeSet
    
    EdgeSet
    
    NodeMap
    
    EdgeMap
    
    GraphSig
    
    ID_TYPE
    
    P
    
    NodeId
    
    EdgeId
    
    Port
    
    S
    
    P
    
    NodeId
    
    EdgeId
    
    Port
    
    NodeSet
    
    EdgeSet
    
    NodeMap
    
    EdgeMap
    
    InvRelation
    
    Make
    
    DomSet
    
    CoDomSet
    
    InvRelationSig
    
    OrderedType
    
    S
    
    DomSet
    
    CoDomSet
    
    ListExt
    
    MapExt
    
    Make
    
    StringMap
    
    IntMap
    
    Int32Map
    
    Int64Map
    
    ZMap
    
    MapExtPoly
    
    MapExtSig
    
    OrderedType
    
    S
    
    MapP
    
    Make
    
    Relation
    
    Make
    
    CoDomSet
    
    RelationSig
    
    OrderedType
    
    S
    
    CoDomSet
    
    SetExt
    
    Make
    
    StringSet
    
    IntSet
    
    Int32Set
    
    Int64Set
    
    ZSet
    
    SetExtPoly
    
    SetExtSig
    
    OrderedType
    
    S
    
    SetP
    
    Make
- Library core
  - Core
    
    Semantic
    
    Route
    
    DomainSet
    
    Ast
    
    Print
    
    Context
    
    GenContextKey
    
    Query
    
    Avalue
    
    Alarm
    
    AlarmSet
    
    RangeMap
    
    RangeCallStackMap
    
    CheckMap
    
    AssumptionSet
    
    RangeDiagnosticWoCsMap
    
    CallstackSet
    
    Token
    
    TokenMap
    
    Change
    
    Lattice
    
    LATTICE
    
    Flow
    
    Cases
    
    Eval
    
    Post
    
    Id
    
    GenDomainId
    
    GenStatelessDomainId
    
    GenValueId
    
    Manager
    
    Hook
    
    HOOK
    
    STATELESS_HOOK
    
    Cache
    
    KEY
    
    Queue
    
    Make
    
    ExecCache
    
    EvalCache
    
    Utils
    
    Marker
    
    Path
    
    PathMap
    
    PathSet
    
    All
    
    ExprSet
    
    ExprMap
    
    StmtSet
    
    StmtMap
    
    VarSet
    
    VarMap
    
    AlarmSet
    
    RangeMap
    
    RangeCallStackMap
    
    CheckMap
    
    AssumptionSet
    
    RangeDiagnosticWoCsMap
    
    CallstackSet
    
    Alarm
    
    GenContextKey
    
    Context
    
    Cases
    
    Eval
    
    Flow
    
    Post
    
    Path
    
    PathMap
    
    PathSet
    
    Change
    
    TokenMap
    
    SemanticSet
    
    SemanticMap
    
    DomainSet
    
    LATTICE
    
    GenDomainId
    
    GenStatelessDomainId
    
    GenValueId
    
    Hook
    
    Print
    
    Var
- Library cpython
  - Cpython
    
    Alarms
    
    Callstack_tracking
    
    Domain
    
    Callstacks
    
    CallstackSet
    
    Set
    
    Set
    
    CallstackMap
    
    Cmodule
    
    AddrSet
    
    Set
    
    NoAddrBase
    
    OtherMap
    
    KeySet
    
    ValueSet
    
    EquivBaseAddrs
    
    Domain
    
    Count_transitions
    
    Hook
    
    Prelude
    
    Soundness
- Library domain
  - Domain
    
    Apply
    
    Make
    
    Compose
    
    Make
    
    Domain_switch
    
    Make
    
    Partitioning
    
    M
    
    Make
    
    Product
    
    Simplified_product
    
    Stateless_switch
    
    Make
    
    Switch
    
    Make
- Library engines
  - Engines
    
    Engine_sig
    
    ENGINE
    
    Automatic
    
    Make
    
    Interactive
- Library framework
  - Framework
    
    Core
    
    Combiners
    
    Engines
    
    Lattices
    
    Output
    
    Params
    
    Sig
    
    Toplevel
    
    Runner
- Library heap
  - Heap
    
    Policies
    
    Recency
    
    Pool
    
    Set
    
    Domain
- Library hooks
  - Hooks
    
    Constant_widening_thresholds
    
    Hook
    
    ThresholdSet
    
    Function_profiler
    
    Hook
    
    Gctest
    
    Hook
    
    Logs
    
    OPTIONS
    
    Hook
    
    Loop_profiler
    
    Hook
    
    LoopMap
    
    Progress
    
    Hook
    
    RangeSet
- Library interactive
  - Interactive
    
    Action
    
    Breakpoint
    
    BreakpointSet
    
    Dap
    
    IntMap
    
    StringMap
    
    Make
    
    Engine
    
    I
    
    Make
    
    Interface
    
    Envdb
    
    FileMap
    
    LineMap
    
    CallstackMap
    
    Interface
    
    INTERFACE
    
    Query
    
    Terminal
    
    Make
    
    Addr
    
    AddrSet
    
    Trace
- Library intervals
  - Intervals
    
    Float
    
    I
    
    FI
    
    II
    
    SimplifiedValue
    
    Value
    
    V
    
    Integer
    
    SimplifiedValue
    
    I
    
    FI
    
    Value
    
    I
    
    FI
    
    V
- Library itvUtils
  - ItvUtils
    
    Float
    
    Single
    
    Double
    
    FloatItv
    
    F
    
    B
    
    II
    
    Double
    
    FF
    
    Single
    
    FF
    
    FloatItvNan
    
    F
    
    FI
    
    B
    
    II
    
    IntBound
    
    IntItv
    
    B
- Library lang
  - Lang
    
    Ast
    
    UProgramKey
    
    Addr
    
    AddrSet
    
    Frontend
    
    NameG
    
    T
    
    U
    
    Float
    
    MS
- Library lattices
  - Lattices
    
    Pair
    
    ORDER
    
    Make
    
    Partial_inversible_map
    
    ORDER
    
    Make
    
    KeySet
    
    ValueSet
    
    Partial_inversible_map_sig
    
    S
    
    KeySet
    
    ValueSet
    
    Partial_map
    
    PMap
    
    KEY
    
    Make
    
    Pointwise
    
    KEY
    
    Make
    
    M
    
    Powerset
    
    ELT
    
    Make
    
    Set
    
    Powerset_sig
    
    S
    
    Set
    
    Powersetwithunder
    
    ELT
    
    Make
    
    Set
    
    USet
    
    Set
- Library mopsa
  - Mopsa
    
    Bot
    
    Compare
    
    Location
    
    Callstack
    
    Debug
    
    Exceptions
    
    OptionExt
    
    Dnf
    
    SetExtPoly
    
    SetExt
    
    SetExtSig
    
    SetP
    
    ListExt
    
    MapExtPoly
    
    MapExt
    
    MapExtSig
    
    InvRelation
    
    InvRelationSig
    
    Equiv
    
    MapP
    
    Relation
    
    RelationSig
    
    ValueSig
    
    Timing
    
    Top
    
    Bot_top
    
    ItvUtils
    
    CongUtils
    
    Bitfields
    
    GraphSig
    
    Graph
    
    ArgExt
    
    LineEdit
    
    TypeExt
    
    Eq
    
    Version
    
    ExprSet
    
    ExprMap
    
    StmtSet
    
    StmtMap
    
    VarSet
    
    VarMap
    
    AlarmSet
    
    RangeMap
    
    RangeCallStackMap
    
    CheckMap
    
    AssumptionSet
    
    RangeDiagnosticWoCsMap
    
    CallstackSet
    
    Alarm
    
    GenContextKey
    
    Context
    
    Cases
    
    Eval
    
    Flow
    
    Post
    
    Path
    
    PathMap
    
    PathSet
    
    Change
    
    TokenMap
    
    SemanticSet
    
    SemanticMap
    
    DomainSet
    
    LATTICE
    
    GenDomainId
    
    GenStatelessDomainId
    
    GenValueId
    
    Hook
    
    Print
    
    Var
    
    Core
    
    Sig
    
    Params
    
    Paths
    
    Visitor
    
    TOPLEVEL
    
    Make
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
    
    Cst
    
    Ast
    
    Lexer
    
    Parsing
    
    Passes
    
    Main
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
    
    Framework
    
    Mopsa
    
    Universal
    
    Stubs
    
    Cfg
    
    Repl
    
    C
    
    Python
    
    Cpython
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
    
    StringMap
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
    
    C_AST
    
    UidMap
    
    UidSet
    
    StringMap
    
    RangeMap
    
    C_parser
    
    StringSet
    
    C_print
    
    C_simplify
    
    C_utils
    
    C
    
    VarSet
    
    Clang_AST
    
    Clang_dump
    
    Clang_parser
    
    Clang_parser_cache
    
    Clang_to_C
    
    Clang_utils
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
    
    Ast
    
    VarSet
    
    VarMap
    
    VarSetMap
    
    Builtins
    
    Cst
    
    Cst_to_ast
    
    Lexer
    
    Main
    
    Parser
    
    Pp
    
    Scoping
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
    
    U_ast
    
    U_ast_printer
    
    U_file_parser
    
    U_lexer
    
    U_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
    
    Bot
    
    Compare
    
    Location
    
    Callstack
    
    Debug
    
    Exceptions
    
    OptionExt
    
    Dnf
    
    SetExtPoly
    
    SetExt
    
    SetExtSig
    
    SetP
    
    ListExt
    
    MapExtPoly
    
    MapExt
    
    MapExtSig
    
    InvRelation
    
    InvRelationSig
    
    Equiv
    
    MapP
    
    Relation
    
    RelationSig
    
    ValueSig
    
    Timing
    
    Top
    
    Bot_top
    
    ItvUtils
    
    CongUtils
    
    Bitfields
    
    GraphSig
    
    Graph
    
    ArgExt
    
    LineEdit
    
    TypeExt
    
    Eq
    
    Version
- Library numeric_common
  - Numeric_common
    
    Common
    
    I
    
    C
    
    F
    
    K
- Library numeric_reductions
  - Numeric_reductions
    
    Intervals_congruences
    
    Reduction
    
    I
    
    C
    
    Intervals_excluded_powerset
    
    Reduction
    
    I
    
    P
    
    B
    
    Intervals_powerset
    
    Reduction
    
    I
    
    P
    
    B
    
    Intervals_rel
    
    Reduction
    
    I
    
    R
    
    Numeric_eval
    
    Reduction
- Library numeric_values
  - Numeric_values
    
    Values
    
    Intervals
    
    Congruences
    
    Value
    
    C
    
    Powersets
    
    Zero
    
    Value
- Library output
  - Output
    
    Common
    
    OUTPUT
    
    Factory
    
    Json
    
    AlarmKindSet
    
    Text
    
    AlarmKindSet
- Library params
  - Params
    
    Config
    
    Options
    
    Paths
- Library parsing
  - Parsing
    
    Ast
    
    Cst
    
    Lexer
    
    Parser
- Library passes
  - Passes
    
    Cst_to_ast
    
    Preprocessor
    
    Scoping
    
    Scope
- Library powersets
  - Powersets
    
    Standard
    
    Value
    
    Powerset
    
    Set
    
    Set
    
    Excluded
    
    SimplifiedValue
    
    Set
- Library python
  - Python
    
    Addr
    
    Alarms
    
    Ast
    
    Ast_compare
    
    Frontend
    
    Operators
    
    Pp
    
    Program
    
    Soundness
    
    Utils
    
    Visitor
    
    Common
    
    Data_model
    
    Desugar
    
    Flows
    
    Hooks
    
    Lang
    
    Libs
    
    Objects
    
    Packing
    
    Types
- Library python_lang
  - Python_lang
    
    Lang
    
    Addr
    
    Ast
    
    K
    
    Ast_compare
    
    Operators
    
    Pp
    
    Visitor
    
    Utils
    
    Alarms
- Library reduction
  - Reduction
    
    Eval
    
    EVAL_REDUCTION
    
    Exec
    
    EXEC_REDUCTION
    
    Simplified
    
    SIMPLIFIED_REDUCTION
    
    Value
    
    VALUE_REDUCTION
- Library relational
  - Relational
    
    Apron_manager
    
    APRONMANAGER
    
    Apron_pp
    
    Apron_transformer
    
    ApronTransformer
    
    Binding
    
    Equiv
    
    LR
    
    RL
    
    Domain
    
    Make
    
    Elinainst
    
    Instances
    
    RELATIONAL
    
    Octagon
    
    Polyhedra
    
    LinEqualities
    
    Instances_choices
    
    Ppliteinst
- Library repl
  - Repl
    
    Frontend
    
    Domain
- Library sig
  - Sig
    
    Abstraction
    
    Combiner
    
    Reduction
- Library stubs
  - Stubs
    
    Alarms
    
    Ast
    
    Body
    
    Domain
    
    Fallback
    
    Domain
    
    Soundness
- Library toplevel
  - Toplevel
    
    TOPLEVEL
    
    Make
- Library universal
  - Universal
    
    Ast
    
    Frontend
    
    Lang
    
    Heap
    
    Hooks
    
    Iterators
    
    Numeric
    
    Packing
    
    Strings
    
    Toy
    
    Partitioning
- Library universal_interproc
  - Universal_interproc
    
    Interproc
    
    Common
    
    ReturnKey
    
    Inlining
    
    Domain
    
    Sequential_cache
    
    Domain
    
    Fctx
- Library universal_iterators
  - Universal_iterators
    
    Iterators
    
    Intraproc
    
    Domain
    
    Loops
    
    Domain
    
    LoopHeadMap
    
    LastFixpointCtx
    
    Program
    
    Domain
    
    Unittest
    
    Domain
    
    Interproc
- Library universal_numeric
  - Universal_numeric
    
    Numeric
    
    Common
    
    Relational
    
    Values
- Library utils_core
  - Utils_core
    
    ArgExt
    
    Rest_all_compat
    
    Util
    
    Bot
    
    Bot_top
    
    Callstack
    
    Compare
    
    Debug
    
    Dnf
    
    Eq
    
    Exceptions
    
    LineEdit
    
    FIFO
    
    UBuf
    
    Location
    
    OptionExt
    
    Timing
    
    Top
    
    TypeExt
    
    ValueSig
    
    S
    
    Version
- Library value
  - Value
    
    Nonrel
    
    Make
    
    Product
    
    MakeValuePair
    
    Make
    
    Union
    
    Make
- Sources
  - abstraction
    
    abstraction.ml
    
    domain.ml
    
    functor.ml
    
    partitioning.ml
    
    simplified.ml
    
    simplified_functor.ml
    
    simplified_value.ml
    
    stacked.ml
    
    stateless.ml
    
    value.ml
    
    value_functor.ml
  - ast
    
    addr.ml
    
    ast.ml
    
    constant.ml
    
    expr.ml
    
    frontend.ml
    
    operator.ml
    
    program.ml
    
    semantic.ml
    
    stmt.ml
    
    typ.ml
    
    var.ml
    
    visitor.ml
  - bitfields
    
    bitfields.ml
    
    intBitfields.ml
  - c
    
    c.ml
  - c_common
    
    alarms.ml
    
    base.ml
    
    builtins.ml
    
    c_common.ml
    
    c_common__.ml
    
    common.ml
    
    points_to.ml
    
    quantified_offset.ml
    
    scope_update.ml
    
    soundness.ml
  - c_lang
    
    ast.ml
    
    c_lang.ml
    
    c_lang__.ml
    
    frontend.ml
    
    lang.ml
    
    pp.ml
    
    visitor.ml
  - cfg
    
    ast.ml
    
    cfg.ml
    
    frontend.ml
    
    iterator.ml
    
    pp.ml
    
    visitor.ml
  - combiner
    
    combiner.ml
    
    domain.ml
    
    simplified.ml
    
    simplified_functor.ml
    
    stacked.ml
    
    stateless.ml
  - combiners
    
    combiners.ml
  - combiners_common
    
    combiners_common.ml
    
    common.ml
  - config
    
    builder.ml
    
    config.ml
    
    parser.ml
    
    syntax.ml
    
    visitor.ml
  - congUtils
    
    congUtils.ml
    
    intCong.ml
  - containers
    
    containers.ml
    
    equiv.ml
    
    graph.ml
    
    graphSig.ml
    
    invRelation.ml
    
    invRelationSig.ml
    
    listExt.ml
    
    mapExt.ml
    
    mapExtPoly.ml
    
    mapExtSig.ml
    
    mapP.ml
    
    relation.ml
    
    relationSig.ml
    
    setExt.ml
    
    setExtPoly.ml
    
    setExtSig.ml
    
    setP.ml
  - core
    
    alarm.ml
    
    all.ml
    
    avalue.ml
    
    cache.ml
    
    cases.ml
    
    change.ml
    
    context.ml
    
    core.ml
    
    core__.ml
    
    eval.ml
    
    flow.ml
    
    hook.ml
    
    id.ml
    
    lattice.ml
    
    manager.ml
    
    marker.ml
    
    path.ml
    
    post.ml
    
    print.ml
    
    query.ml
    
    route.ml
    
    token.ml
    
    utils.ml
  - cpython
    
    alarms.ml
    
    callstack_tracking.ml
    
    cmodule.ml
    
    count_transitions.ml
    
    cpython.ml
    
    prelude.ml
    
    soundness.ml
  - domain
    
    apply.ml
    
    compose.ml
    
    domain.ml
    
    domain_switch.ml
    
    partitioning.ml
    
    product.ml
    
    simplified_product.ml
    
    stateless_switch.ml
    
    switch.ml
  - engines
    
    automatic.ml
    
    engine_sig.ml
    
    engines.ml
    
    engines__.ml
  - framework
    
    framework.ml
    
    framework__.ml
    
    runner.ml
  - heap
    
    heap.ml
    
    policies.ml
    
    recency.ml
  - hooks
    
    constant_widening_thresholds.ml
    
    function_profiler.ml
    
    gctest.ml
    
    hooks.ml
    
    logs.ml
    
    loop_profiler.ml
    
    progress.ml
  - interactive
    
    action.ml
    
    breakpoint.ml
    
    dap.ml
    
    engine.ml
    
    envdb.ml
    
    interactive.ml
    
    interface.ml
    
    query.ml
    
    terminal.ml
    
    trace.ml
  - intervals
    
    float.ml
    
    integer.ml
    
    intervals.ml
  - itvUtils
    
    float.ml
    
    floatItv.ml
    
    floatItvNan.ml
    
    intBound.ml
    
    intItv.ml
    
    itvUtils.ml
  - lang
    
    ast.ml
    
    frontend.ml
    
    lang.ml
  - lattices
    
    lattices.ml
    
    pair.ml
    
    partial_inversible_map.ml
    
    partial_inversible_map_sig.ml
    
    partial_map.ml
    
    pointwise.ml
    
    powerset.ml
    
    powerset_sig.ml
    
    powersetwithunder.ml
  - mopsa
    
    mopsa.ml
  - mopsa.c_stubs_parser
    
    main.ml
    
    mopsa_c_stubs_parser.ml
    
    mopsa_c_stubs_parser__.ml
  - mopsa.mopsa_analyzer
    
    mopsa_analyzer.ml
  - mopsa.mopsa_build_db
    
    mopsa_build_db.ml
  - mopsa.mopsa_c_parser
    
    C_AST.ml
    
    C_parser.ml
    
    C_print.ml
    
    C_simplify.ml
    
    C_utils.ml
    
    Clang_AST.ml
    
    Clang_dump.ml
    
    Clang_parser.ml
    
    Clang_parser_cache.ml
    
    Clang_to_C.ml
    
    Clang_utils.ml
    
    mopsa_c_parser.ml
  - mopsa.mopsa_py_parser
    
    ast.ml
    
    builtins.ml
    
    cst.ml
    
    cst_to_ast.ml
    
    lexer.ml
    
    main.ml
    
    mopsa_py_parser.ml
    
    parser.ml
    
    pp.ml
    
    scoping.ml
  - mopsa.mopsa_universal_parser
    
    U_ast.ml
    
    U_ast_printer.ml
    
    U_file_parser.ml
    
    U_lexer.ml
    
    U_parser.ml
    
    mopsa_universal_parser.ml
  - mopsa.mopsa_utils
    
    mopsa_utils.ml
  - numeric_common
    
    common.ml
    
    numeric_common.ml
  - numeric_reductions
    
    intervals_congruences.ml
    
    intervals_excluded_powerset.ml
    
    intervals_powerset.ml
    
    intervals_rel.ml
    
    numeric_eval.ml
    
    numeric_reductions.ml
  - numeric_values
    
    congruences.ml
    
    numeric_values.ml
    
    numeric_values__.ml
    
    values.ml
    
    zero.ml
  - output
    
    common.ml
    
    factory.ml
    
    json.ml
    
    output.ml
    
    text.ml
  - params
    
    options.ml
    
    params.ml
    
    params__.ml
    
    paths.ml
  - parsing
    
    ast.ml
    
    cst.ml
    
    lexer.ml
    
    parser.ml
    
    parsing.ml
  - passes
    
    cst_to_ast.ml
    
    passes.ml
    
    preprocessor.ml
    
    scoping.ml
  - powersets
    
    excluded.ml
    
    powersets.ml
    
    powersets__.ml
    
    standard.ml
  - python
    
    python.ml
  - python_lang
    
    addr.ml
    
    alarms.ml
    
    ast.ml
    
    ast_compare.ml
    
    lang.ml
    
    operators.ml
    
    pp.ml
    
    python_lang.ml
    
    python_lang__.ml
    
    utils.ml
    
    visitor.ml
  - reduction
    
    eval.ml
    
    exec.ml
    
    reduction.ml
    
    simplified.ml
    
    value.ml
  - relational
    
    apron_manager.ml
    
    apron_pp.ml
    
    apron_transformer.ml
    
    binding.ml
    
    domain.ml
    
    elinainst.ml
    
    instances.ml
    
    instances_choices.ml
    
    ppliteinst.ml
    
    relational.ml
  - repl
    
    frontend.ml
    
    repl.ml
  - sig
    
    sig.ml
  - stubs
    
    alarms.ml
    
    ast.ml
    
    body.ml
    
    fallback.ml
    
    soundness.ml
    
    stubs.ml
  - toplevel
    
    toplevel.ml
  - universal
    
    universal.ml
  - universal_interproc
    
    common.ml
    
    inlining.ml
    
    interproc.ml
    
    sequential_cache.ml
    
    universal_interproc.ml
    
    universal_interproc__.ml
  - universal_iterators
    
    intraproc.ml
    
    iterators.ml
    
    loops.ml
    
    program.ml
    
    unittest.ml
    
    universal_iterators.ml
    
    universal_iterators__.ml
  - universal_numeric
    
    numeric.ml
    
    universal_numeric.ml
    
    universal_numeric__.ml
  - utils_core
    
    argExt.ml
    
    bot.ml
    
    bot_top.ml
    
    callstack.ml
    
    compare.ml
    
    debug.ml
    
    dnf.ml
    
    eq.ml
    
    exceptions.ml
    
    lineEdit.ml
    
    location.ml
    
    optionExt.ml
    
    timing.ml
    
    top.ml
    
    typeExt.ml
    
    utils_core.ml
    
    valueSig.ml
    
    version.ml
  - value
    
    nonrel.ml
    
    product.ml
    
    union.ml
    
    value.ml

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

Module type `Interface.INTERFACE`Source

Parameters

module Toplevel : Toplevel.TOPLEVEL

Signature

val init : unit -> unit

val reach : 
  Action.action ->
  (Toplevel.t, Toplevel.t) Core.All.man ->
  Toplevel.t Core.All.flow ->
  unit

val alarm : 
  Core.All.alarm list ->
  Action.action ->
  (Toplevel.t, Toplevel.t) Core.All.man ->
  Toplevel.t Core.All.flow ->
  unit

val read_command : 
  Action.action ->
  Toplevel.t Envdb.envdb ->
  (Toplevel.t, Toplevel.t) Core.All.man ->
  Toplevel.t Core.All.flow ->
  command

val finish : 
  (Toplevel.t, Toplevel.t) Core.All.man ->
  Toplevel.t Core.All.flow ->
  unit

val error : exn -> unit

package mopsa

Module type Interface.INTERFACESource

Parameters

Signature

Module type `Interface.INTERFACE`Source