package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

package mopsa

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
    
    Cst
    
    Ast
    
    Lexer
    
    Parsing
    
    Passes
    
    Main
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
    
    Framework
    
    Combiners
    
    Common
    
    Domain
    
    Apply
    
    Make
    
    Compose
    
    Make
    
    Domain_switch
    
    Make
    
    Partitioning
    
    M
    
    Make
    
    Product
    
    Simplified_product
    
    Stateless_switch
    
    Make
    
    Switch
    
    Make
    
    Value
    
    Nonrel
    
    Make
    
    Product
    
    MakeValuePair
    
    Make
    
    Union
    
    Make
    
    Core
    
    Alarm
    
    AlarmSet
    
    RangeMap
    
    RangeCallStackMap
    
    CheckMap
    
    AssumptionSet
    
    RangeDiagnosticWoCsMap
    
    CallstackSet
    
    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
    
    Ast
    
    Addr
    
    Constant
    
    Expr
    
    ExprSet
    
    ExprMap
    
    Frontend
    
    Operator
    
    Program
    
    Semantic
    
    SemanticSet
    
    SemanticMap
    
    Stmt
    
    StmtSet
    
    StmtMap
    
    Typ
    
    Var
    
    VarSet
    
    VarMap
    
    Visitor
    
    Avalue
    
    Cache
    
    KEY
    
    Queue
    
    Make
    
    ExecCache
    
    EvalCache
    
    Cases
    
    Change
    
    Context
    
    GenContextKey
    
    Eval
    
    Flow
    
    Hook
    
    HOOK
    
    STATELESS_HOOK
    
    Id
    
    GenDomainId
    
    GenStatelessDomainId
    
    GenValueId
    
    Lattice
    
    LATTICE
    
    Manager
    
    Marker
    
    Path
    
    PathMap
    
    PathSet
    
    Post
    
    Print
    
    Query
    
    Route
    
    DomainSet
    
    Token
    
    TokenMap
    
    Utils
    
    Engines
    
    Engine_sig
    
    ENGINE
    
    Automatic
    
    Make
    
    Interactive
    
    Action
    
    Breakpoint
    
    BreakpointSet
    
    Dap
    
    IntMap
    
    StringMap
    
    Make
    
    Engine
    
    I
    
    Make
    
    Interface
    
    Envdb
    
    FileMap
    
    LineMap
    
    CallstackMap
    
    Interface
    
    INTERFACE
    
    Query
    
    Terminal
    
    Make
    
    Addr
    
    AddrSet
    
    Trace
    
    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
    
    Output
    
    Common
    
    OUTPUT
    
    Factory
    
    Json
    
    AlarmKindSet
    
    Text
    
    AlarmKindSet
    
    Params
    
    Config
    
    Builder
    
    Parser
    
    Syntax
    
    Visitor
    
    Options
    
    Paths
    
    Runner
    
    Sig
    
    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
    
    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
    
    Reduction
    
    Eval
    
    EVAL_REDUCTION
    
    Exec
    
    EXEC_REDUCTION
    
    Simplified
    
    SIMPLIFIED_REDUCTION
    
    Value
    
    VALUE_REDUCTION
    
    Toplevel
    
    TOPLEVEL
    
    Make
    
    Languages
    
    C
    
    Common
    
    Alarms
    
    Base
    
    Base
    
    BaseSet
    
    BaseMap
    
    Builtins
    
    Points_to
    
    PointsToSet
    
    PointsToMap
    
    Quantified_offset
    
    Scope_update
    
    Soundness
    
    Cstubs
    
    Assigns
    
    Domain
    
    Aux_vars
    
    Builtins
    
    Domain
    
    Resources
    
    Domain
    
    Hooks
    
    Analysis_bugs
    
    Hook
    
    BugSet
    
    Coverage
    
    Hook
    
    RangeSet
    
    Disj
    
    Hook
    
    Iterators
    
    Goto
    
    Domain
    
    Interproc
    
    Domain
    
    AddrSet
    
    Set
    
    Set
    
    Intraproc
    
    Domain
    
    Loops
    
    Domain
    
    Program
    
    StringMap
    
    Domain
    
    Switch
    
    Domain
    
    Lang
    
    Ast
    
    CProgramKey
    
    TargetCtx
    
    Frontend
    
    Pp
    
    Visitor
    
    Libs
    
    Compiler_builtins
    
    Domain
    
    Libc
    
    File_descriptor
    
    Domain
    
    Itv
    
    Domain
    
    Slot
    
    Table
    
    Itv
    
    AddrItvMap
    
    Formatted_io
    
    Format_string
    
    Fprintf
    
    Domain
    
    Fscanf
    
    Domain
    
    Variadic
    
    Itv
    
    Domain
    
    C1
    
    C2
    
    Libmopsa
    
    Domain
    
    Memory
    
    Aggregates
    
    Domain
    
    Cells
    
    Domain
    
    Itv
    
    Domain
    
    Cell
    
    Off
    
    Cells
    
    Set
    
    OffCells
    
    M
    
    CellSet
    
    M
    
    BaseSet
    
    Set
    
    OffsetTypeSet
    
    Machine_numbers
    
    IntItv
    
    FltItv
    
    Domain
    
    Pointer_eval_reduction
    
    Reduction
    
    Pointer_sentinel
    
    Domain
    
    Pointers
    
    Domain
    
    Domain
    
    Map
    
    KeySet
    
    ValueSet
    
    Static_points_to
    
    Value
    
    PointerValue
    
    PointerSet
    
    Set
    
    Protection
    
    Domain
    
    Smashing
    
    Domain
    
    STypeSet
    
    Set
    
    Init
    
    State
    
    String_length
    
    Domain
    
    Symbolic_rewriting
    
    IntItv
    
    IntBound
    
    Domain
    
    Variable_length_array
    
    Domain
    
    Packing
    
    Static_scope
    
    Strategy
    
    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
    
    Cpython
    
    Alarms
    
    Callstack_tracking
    
    Domain
    
    Callstacks
    
    CallstackSet
    
    Set
    
    Set
    
    CallstackMap
    
    Cmodule
    
    AddrSet
    
    Set
    
    NoAddrBase
    
    OtherMap
    
    KeySet
    
    ValueSet
    
    EquivBaseAddrs
    
    Domain
    
    Count_transitions
    
    Hook
    
    Import_cpython
    
    Enabled_importer
    
    Prelude
    
    Soundness
    
    Python
    
    Common
    
    Frontend
    
    Program
    
    Domain
    
    Soundness
    
    Data_model
    
    Arith_ops
    
    Domain
    
    Attribute
    
    Domain
    
    Aug_assign
    
    Domain
    
    Callable
    
    Domain
    
    Compare_ops
    
    Domain
    
    Subscript
    
    Domain
    
    Desugar
    
    Assert
    
    Domain
    
    Bool
    
    Domain
    
    Comprehensions
    
    Domain
    
    If
    
    Domain
    
    Import
    
    Domain
    
    Modules
    
    ModuleSet
    
    Set
    
    Set
    
    Str
    
    ModulesMap
    
    Import_cpython
    
    CPYTHON_IMPORTER
    
    Disabled_importer
    
    Iterable_assign
    
    Domain
    
    Loops
    
    Domain
    
    With
    
    Domain
    
    Flows
    
    Exn
    
    Domain
    
    Generators
    
    GenKey
    
    Domain
    
    Hooks
    
    Analysis_bugs
    
    Hook
    
    BugSet
    
    Coverage
    
    Hook
    
    ExprSet
    
    StmtSet
    
    Lang
    
    Addr
    
    Alarms
    
    Ast
    
    K
    
    Ast_compare
    
    Operators
    
    Pp
    
    Utils
    
    Visitor
    
    Libs
    
    Math
    
    Domain
    
    Py_mopsa
    
    Domain
    
    Py_std
    
    Domain
    
    Py_typing
    
    Domain
    
    Py_unittest
    
    Domain
    
    Objects
    
    Class
    
    Domain
    
    Constant_dict
    
    Domain
    
    Dicts
    
    DictSet
    
    Set
    
    Set
    
    DictMap
    
    DictAddrs
    
    Set
    
    Data_container_utils
    
    Rangeset
    
    Dict
    
    Domain
    
    Dict_reduction
    
    Reduction
    
    Function
    
    Domain
    
    Iterable
    
    Domain
    
    Lambda
    
    Domain
    
    Py_list
    
    Domain
    
    Py_object
    
    Domain
    
    Py_set
    
    Domain
    
    Range
    
    Domain
    
    Tuple
    
    Domain
    
    Packing
    
    Static_scope
    
    Strategy
    
    Types
    
    Addr_env
    
    PyAddr
    
    Domain
    
    ASet
    
    PS
    
    Set
    
    Set
    
    AMap
    
    Dummy_numeric
    
    Value
    
    Nominal_types
    
    Domain
    
    Polymorphism
    
    Poly
    
    Partitions
    
    AKS
    
    Reduction
    
    Structural_types
    
    Domain
    
    AttrSet
    
    Set
    
    USet
    
    Set
    
    AMap
    
    T_complex
    
    Domain
    
    T_float
    
    Domain
    
    T_int
    
    Domain
    
    T_string
    
    Domain
    
    Type_annot
    
    Domain
    
    ESet
    
    Set
    
    Keys
    
    TVMap
    
    Repl
    
    Frontend
    
    Domain
    
    Stubs
    
    Alarms
    
    Ast
    
    Body
    
    Domain
    
    Fallback
    
    Domain
    
    Soundness
    
    Universal
    
    Heap
    
    Policies
    
    Recency
    
    Pool
    
    Set
    
    Domain
    
    Hooks
    
    Constant_widening_thresholds
    
    Hook
    
    ThresholdSet
    
    Function_profiler
    
    Hook
    
    Gctest
    
    Hook
    
    Logs
    
    OPTIONS
    
    Hook
    
    Loop_profiler
    
    Hook
    
    LoopMap
    
    Progress
    
    Hook
    
    RangeSet
    
    Iterators
    
    Interproc
    
    Common
    
    ReturnKey
    
    Inlining
    
    Domain
    
    Sequential_cache
    
    Domain
    
    Fctx
    
    Intraproc
    
    Domain
    
    Loops
    
    Domain
    
    LoopHeadMap
    
    LastFixpointCtx
    
    Program
    
    Domain
    
    Unittest
    
    Domain
    
    Lang
    
    Ast
    
    UProgramKey
    
    Addr
    
    AddrSet
    
    Frontend
    
    NameG
    
    T
    
    U
    
    Float
    
    MS
    
    Numeric
    
    Collecting
    
    Domain
    
    Common
    
    I
    
    C
    
    F
    
    K
    
    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
    
    Relational
    
    Apron_manager
    
    APRONMANAGER
    
    Apron_pp
    
    Apron_transformer
    
    ApronTransformer
    
    Binding
    
    Equiv
    
    LR
    
    RL
    
    Domain
    
    Make
    
    Heterogeneous_domain
    
    Make
    
    Instances
    
    RELATIONAL
    
    Octagon
    
    Polyhedra
    
    LinEqualities
    
    HetPolyhedra
    
    Instances_choices
    
    Values
    
    Bitmask
    
    Value
    
    Congruences
    
    Value
    
    C
    
    Intervals
    
    Float
    
    I
    
    FI
    
    II
    
    SimplifiedValue
    
    Value
    
    V
    
    Integer
    
    SimplifiedValue
    
    I
    
    FI
    
    Value
    
    I
    
    FI
    
    V
    
    Powersets
    
    Standard
    
    Value
    
    Powerset
    
    Set
    
    Set
    
    Excluded
    
    SimplifiedValue
    
    Set
    
    Zero
    
    Value
    
    Packing
    
    Intervals_static_scope
    
    ReductionMake
    
    Static
    
    STRATEGY
    
    Make
    
    Functor
    
    Partitioning
    
    Int_var
    
    Domain
    
    Tail_markers
    
    Domain
    
    Strings
    
    Powerset
    
    StringPower
    
    Set
    
    SimplifiedValue
    
    Set
    
    Value
    
    V
    
    Set
    
    Toy
    
    String_length
    
    Domain
    
    String_reduction
    
    Reduction
    
    String_summarization
    
    Domain
    
    MopsaLib
    
    Bitfields
    
    CongUtils
    
    Containers
    
    ItvUtils
    
    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.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
    
    Formatted_io_lexer
    
    Formatted_io_parser
    
    Formatted_io_placeholder
- 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
    
    Bitfields
    
    IntBitfields
    
    I
    
    B
    
    C
    
    CongUtils
    
    IntCong
    
    I
    
    B
    
    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
    
    Core
    
    ArgExt
    
    Rest_all_compat
    
    Util
    
    Bot
    
    Bot_top
    
    Callstack
    
    Compare
    
    ControlCtx
    
    Debug
    
    Dnf
    
    Eq
    
    Exceptions
    
    LineEdit
    
    FIFO
    
    UBuf
    
    Location
    
    OptionExt
    
    Timing
    
    Top
    
    TypeExt
    
    ValueSig
    
    S
    
    Version
    
    ItvUtils
    
    Float
    
    Single
    
    Double
    
    FloatItv
    
    F
    
    B
    
    II
    
    Double
    
    FF
    
    Single
    
    FF
    
    FloatItvNan
    
    F
    
    FI
    
    B
    
    II
    
    IntBound
    
    IntItv
    
    B
- Library parsing
  - Parsing
    
    Ast
    
    Cst
    
    Lexer
    
    Parser
- Library passes
  - Passes
    
    Cst_to_ast
    
    Preprocessor
    
    Scoping
    
    Scope
- Sources
  - mopsa.c_stubs_parser
    
    main.ml
    
    mopsa_c_stubs_parser.ml
    
    mopsa_c_stubs_parser__.ml
  - mopsa.mopsa_analyzer
    
    mopsaLib.ml
    
    mopsa_analyzer.ml
    
    mopsa_analyzer__Framework__Combiners__Common__.ml
    
    mopsa_analyzer__Framework__Engines__.ml
    
    mopsa_analyzer__Framework__Toplevel__.ml
    
    mopsa_analyzer__Languages__C__Packing__.ml
    
    mopsa_analyzer__Languages__Python__Hooks__.ml
    
    mopsa_analyzer__Languages__Python__Packing__.ml
    
    mopsa_analyzer__Languages__Universal__Numeric__Common__.ml
    
    mopsa_analyzer__Languages__Universal__Numeric__Values__Powersets__.ml
    
    mopsa_analyzer__Languages__Universal__Strings__.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
    
    Formatted_io_lexer.ml
    
    Formatted_io_parser.ml
    
    Formatted_io_placeholder.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
  - parsing
    
    ast.ml
    
    cst.ml
    
    lexer.ml
    
    parser.ml
    
    parsing.ml
  - passes
    
    cst_to_ast.ml
    
    passes.ml
    
    preprocessor.ml
    
    scoping.ml

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

Module `Stubs.Alarms`

Stub alarms

type MopsaLib.check +=

| CHK_STUB_CONDITION

type MopsaLib.alarm_kind +=

| A_stub_invalid_requirement of MopsaLib.expr
(*
condition
*)
| A_stub_raise of string
(*
message
*)

val raise_stub_invalid_requirement : 
  ?bottom:bool ->
  MopsaLib.expr ->
  Mopsa_utils.Core.Location.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val raise_stub_alarm : 
  ?bottom:bool ->
  string ->
  Mopsa_utils.Core.Location.range ->
  ('a, 'b) MopsaLib.man ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val safe_stub_condition : 
  Mopsa_utils.Core.Location.range ->
  'a ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow ->
  'b Mopsa_analyzer.MopsaLib.Flow.flow

package mopsa

Module Stubs.Alarms

Module `Stubs.Alarms`