package goblint

You can search for identifiers within the package.

in-package search v0.2.0

package goblint

goblint
- Library goblint.lib
  - AbstractionDomainProperties
    
    AbstractFunction
    
    AbstractTest
    
    Monotone
    
    ValidTest
  - Access
    
    M
    
    Ident
    
    LabeledString
    
    LSSet
    
    LSSSet
    
    PartAccessResult
    
    HtF
    
    Exceptionless
    
    Infix
    
    Labels
    
    Ht
    
    Exceptionless
    
    Infix
    
    Labels
    
    HashedType
    
    S
    
    Make
    
    Cap
    
    Acc_typHashable
    
    TypeHash
    
    Exceptionless
    
    Infix
    
    Labels
    
    LvalOptHashable
    
    LvalOptHash
    
    Exceptionless
    
    Infix
    
    Labels
    
    PartOptHashable
    
    PartOptHash
    
    Exceptionless
    
    Infix
    
    Labels
  - AddressDomain
    
    GU
    
    M
    
    S
    
    AddressSet
    
    Addr
    
    Offs
    
    Map
    
    B
  - AfterConfig
  - Analyses
    
    GU
    
    M
    
    VarType
    
    Var
    
    VarF
    
    Dom
    
    ResultNode
    
    ResultConf
    
    Result
    
    Exceptionless
    
    Infix
    
    Labels
    
    Spec
    
    D
    
    G
    
    C
    
    MCPSpec
    
    D
    
    G
    
    C
    
    MonSystem
    
    Var
    
    Dom
    
    EqConstrSys
    
    Var
    
    Dom
    
    GlobConstrSys
    
    LVar
    
    GVar
    
    D
    
    G
    
    GenericEqBoxIncrSolverBase
    
    IncrSolverArg
    
    GenericEqBoxIncrSolver
    
    GenericEqBoxSolver
    
    GenericGlobSolver
    
    ResultType2
    
    DefaultSpec
    
    IdentitySpec
  - ApronAnalysis
  - ApronDomain
  - ApronPrecCompareUtil
  - ApronPriv
  - Arinc
    
    BI
    
    Functions
    
    Spec
    
    D
    
    G
    
    C
  - ArincDomain
    
    Pid
    
    Pri
    
    Per
    
    Cap
    
    Pmo
    
    PrE
    
    Ctx
    
    Pred
    
    Base
    
    D
  - ArincUtil
    
    Action
    
    GenSig
    
    SymTblSig
    
    SymTbl
    
    FunTbl
  - ArrayDomain
    
    S
    
    LatticeWithSmartOps
    
    Trivial
    
    TrivialWithLength
    
    Partitioned
    
    PartitionedWithLength
    
    FlagConfiguredArrayDomain
  - Base
    
    A
    
    H
    
    Q
    
    GU
    
    ID
    
    IdxDom
    
    AD
    
    Addr
    
    Offs
    
    LF
    
    CArrays
    
    BI
    
    VD
    
    CPA
    
    Dep
    
    WeakUpdates
    
    BaseComponents
    
    MainFunctor
    
    Dom
    
    G
    
    D
    
    C
    
    V
    
    Locmap
    
    MainSpec
    
    D
    
    G
    
    C
  - BaseDomain
    
    VD
    
    BI
    
    CPA
    
    M
    
    Glob
    
    Var
    
    Val
    
    PartDeps
    
    VarSet
    
    WeakUpdates
    
    BaseComponents
    
    ExpEvaluator
    
    DomFunctor
    
    DomWithTrivialExpEval
  - BasePriv
    
    S
    
    D
    
    G
  - BaseUtil
  - Basetype
    
    GU
    
    ExtractLocation
    
    Variables
    
    RawStrings
    
    Strings
    
    RawBools
    
    Bools
    
    CilExp
    
    CilStmt
    
    CilField
    
    FieldVariables
  - BoolDomain
    
    Bool
    
    MayBool
    
    MustBool
  - CfgTools
    
    H
    
    NH
    
    NS
    
    SCC
    
    CfgPrinters
    
    NodeStyles
    
    CfgPrinters
  - CilType
    
    S
    
    Std
    
    Location
    
    Varinfo
    
    Stmt
    
    Fundec
    
    Typ
    
    Compinfo
    
    Fieldinfo
    
    Exp
    
    Offset
    
    Lval
    
    Constant
  - Cilfacade
    
    E
    
    GU
    
    allBBVisitor
    
    addConstructors
    
    countFnVisitor
    
    StmtH
    
    VarinfoH
    
    StringH
  - CommonPriv
    
    Q
    
    IdxDom
    
    VD
    
    Protection
    
    MutexGlobalsBase
    
    ImplicitMutexGlobals
    
    ExplicitMutexGlobals
    
    MayVars
    
    MustVars
    
    Locksets
    
    Lock
    
    Lockset
    
    MinLocksets
    
    WriteCenteredD
    
    W
    
    P
    
    ConfCheck
    
    RequireMutexActivatedInit
    
    RequireMutexPathSensInit
  - CompareAST
    
    GlobalMap
  - CompareCFG
    
    GlobalMap
    
    NH
    
    NTH
  - CompareCIL
    
    GlobalMap
    
    NH
    
    NTH
  - ConcDomain
    
    ThreadSet
    
    MustThreadSet
    
    CreatedThreadSet
    
    ThreadCreation
    
    UNames
    
    Uniqueness
    
    ParentThreadSet
    
    DirtyExitNames
    
    DirtyExit
    
    ThreadStringSet
  - CondVars
    
    Domain
    
    V
    
    Spec
    
    D
    
    C
    
    G
  - Config
  - Constants
    
    Spec
    
    D
    
    G
    
    C
  - Constraints
    
    M
    
    HashconsLifter
    
    D
    
    G
    
    C
    
    HashconsContextLifter
    
    D
    
    G
    
    C
    
    OptEqual
    
    D
    
    G
    
    C
    
    LevelSliceLifter
    
    D
    
    G
    
    C
    
    LimitLifter
    
    G
    
    C
    
    H
    
    D
    
    WidenContextLifterSide
    
    DD
    
    M
    
    D
    
    G
    
    C
    
    DeadCodeLifter
    
    D
    
    G
    
    C
    
    Increment
    
    FromSpec
    
    LVar
    
    GVar
    
    D
    
    G
    
    EqIncrSolverFromEqSolver
    
    Var2
    
    EqConstrSysFromGlobConstrSys
    
    Var
    
    Dom
    
    GlobConstrSolFromEqConstrSolBase
    
    GlobConstrSolFromEqConstrSol
    
    S2
    
    Var
    
    Dom
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
    
    GlobSolverFromEqSolver
    
    PathSensitive2
    
    D
    
    G
    
    C
    
    Compare
    
    PP
    
    Exceptionless
    
    Infix
    
    Labels
    
    CompareEq
    
    Var
    
    Compare
    
    CompareD
  - Contain
    
    GU
    
    FieldVars
    
    Spec
    
    D
    
    Danger
    
    StringPair
    
    InhRel
    
    C
    
    G
  - ContainDomain
    
    GU
    
    Var
    
    Field
    
    FieldVars
    
    PrettyField
    
    ArgSet
    
    FieldSet
    
    FuncName
    
    VarName
    
    ClassName
    
    VarNameSet
    
    ClassNameSet
    
    Globals
    
    Diff
    
    Dom
    
    Danger
    
    StringPair
    
    InhRel
  - ContextUtil
  - Control
    
    S2S
    
    D
    
    G
    
    C
    
    AnalyzeCFG
    
    EQSys
    
    LVar
    
    GVar
    
    D
    
    G
    
    LHT
    
    Exceptionless
    
    Infix
    
    Labels
    
    GHT
    
    Exceptionless
    
    Infix
    
    Labels
    
    PostSolverArg
    
    Slvr
    
    Comp
    
    PP
    
    Exceptionless
    
    Infix
    
    Labels
    
    RT
    
    LT
    
    Result
    
    Exceptionless
    
    Infix
    
    Labels
    
    WResult
  - Db
  - Deadcode
    
    Locmap
    
    Exceptionless
    
    Infix
    
    Labels
  - Deadlock
    
    Spec
    
    D
    
    C
    
    G
  - DeadlockDomain
    
    MyLock
    
    Lockset
  - DeadlocksByRaces
    
    Mutex
    
    Spec
    
    MSpec
    
    D
    
    G
    
    C
  - Defaults
  - DomainProperties
    
    DomainTest
    
    S
    
    Equal
    
    Leq
    
    Join
    
    Meet
    
    Bot
    
    Top
    
    Connect
    
    Widen
    
    Narrow
    
    All
    
    AllNonAssoc
  - Edge
  - EffectWConEq
    
    Make
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
  - EscapeDomain
    
    EscapedVars
  - Events
  - Exp
    
    Exp
    
    LockingPattern
  - ExpDomain
  - ExpRelation
    
    Spec
    
    D
    
    G
    
    C
  - ExpressionEvaluation
    
    ExpEval
  - Extract_arinc
    
    OList
    
    M
    
    Spec
    
    Pid
    
    Ctx
    
    Pred
    
    D
    
    C
    
    Tasks
    
    G
    
    SymTbl
    
    Pids
    
    FunTbl
    
    H
    
    Prios
    
    Pfuns
    
    Res
  - Extract_osek
    
    OList
    
    M
    
    Spec
    
    Pid
    
    Ctx
    
    Pred
    
    D
    
    C
    
    Tasks
    
    G
    
    SymTbl
    
    Pids
    
    FunTbl
    
    H
    
    Prios
    
    Pfuns
    
    Res
  - FileDomain
    
    D
    
    Val
    
    Dom
    
    K
    
    V
    
    MD
  - FileUse
    
    Spec
    
    D
    
    C
    
    G
  - Flag
    
    Spec
    
    D
    
    C
    
    G
    
    Val
    
    VSet
  - FlagModeDomain
    
    Eq
    
    Method
    
    L_names
    
    P
    
    Dom
  - FlagModes
    
    Spec
    
    D
    
    C
    
    G
  - Generic
    
    LoadRunSolver
    
    LoadRunIncrSolver
    
    SolverInteractiveWGlob
    
    SSH
    
    Exceptionless
    
    Infix
    
    Labels
    
    NH
    
    Exceptionless
    
    Infix
    
    Labels
    
    SolverStats
    
    GU
    
    DirtyBoxSolver
    
    SoundBoxSolverImpl
    
    GU
    
    SoundBoxSolver
    
    PreciseSideEffectBoxSolver
  - GobConfig
    
    S
    
    Impl
  - GobFormat
  - GobYojson
  - Goblintutil
  - Graphml
    
    GraphMlWriter
    
    StringGraphMlWriter
    
    XmlGraphMlWriter
    
    ArgNodeGraphMlWriter
    
    EnumerateNodeGraphMlWriter
    
    DeDupGraphMlWriter
  - HoareDomain
    
    HoarePO
    
    Map
    
    B
    
    SetS
    
    Set
    
    Set_LiftTop
    
    MapBot
    
    SpecDGroupable
  - IntDomain
    
    Arith
    
    ArithIkind
    
    B
    
    IkindUnawareS
    
    S
    
    OldDomainFacade
    
    Y
    
    Z
    
    IntDomLifter
    
    Ikind
    
    PtrDiffIkind
    
    IntDomWithDefaultIkind
    
    IntDomTuple
    
    Size
    
    Integers
    
    FlatPureIntegers
    
    Flattened
    
    FlattenedBI
    
    Lifted
    
    IntervalFunctor
    
    Interval32
    
    BigInt
    
    Interval
    
    Congruence
    
    DefExc
    
    Flat
    
    Lift
    
    Reverse
    
    Enums
    
    BooleansNames
    
    MakeBooleans
    
    Booleans
  - IntDomainProperties
    
    BI
    
    OldS
    
    S
    
    WithIkind
    
    IntegerSet
    
    Base
    
    CD
    
    AF
    
    Valid
    
    All
    
    AllNonAssoc
  - IntOps
    
    IntOpsBase
    
    IntOps
    
    NIntOpsBase
    
    Int32OpsBase
    
    Int64OpsBase
    
    BigIntOpsBase
    
    IntOpsDecorator
    
    BigIntOps
    
    NIntOps
    
    Int32Ops
    
    Int64Ops
  - Invariant
  - InvariantCil
    
    exp_replace_original_name_visitor
    
    exp_is_in_scope_visitor
  - JsonSchema
  - Lattice
    
    GU
    
    PO
    
    S
    
    UnitConf
    
    Unit
    
    Fake
    
    PD
    
    FakeSingleton
    
    Reverse
    
    HConsed
    
    HC
    
    HashCached
    
    LazyHash
    
    Flat
    
    Lift
    
    LiftPO
    
    Lift2
    
    ProdConf
    
    Prod
    
    ProdSimple
    
    LexProd
    
    Prod3
    
    LiftBot
    
    LiftTop
    
    Liszt
    
    Chain
  - LazyEval
    
    Make
  - LibraryFunctions
  - ListDomain
    
    GU
    
    S
    
    SimpleList
  - LockDomain
    
    Addr
    
    Offs
    
    Equ
    
    Exp
    
    IdxDom
    
    Mutexes
    
    Simple
    
    Priorities
    
    OsekGlob
    
    Var
    
    Val
    
    Glob
    
    Var
    
    Val
    
    Lockset
    
    RW
    
    Lock
    
    L
    
    ReverseAddrSet
    
    AddrSet
    
    MayLockset
    
    RW
    
    Lock
    
    ReverseAddrSet
    
    AddrSet
    
    Symbolic
    
    S
  - Lval
    
    GU
    
    Offset
    
    S
    
    Normal
    
    Offs
    
    NormalLat
    
    Offs
    
    Stateless
    
    Fields
    
    F
    
    I
    
    FI
    
    CilLval
  - LvalMapDomain
    
    M
    
    S
    
    Value
    
    Domain
    
    K
    
    V
    
    MD
  - MCP
    
    QuerySet
    
    Exceptionless
    
    Labels
    
    DomainListPrintableSpec
    
    DomainListLatticeSpec
    
    PrintableOfLatticeSpec
    
    DomListPrintable
    
    DomListLattice
    
    LocalDomainListSpec
    
    GlobalDomainListSpec
    
    ContextListSpec
    
    MCP2
    
    D
    
    G
    
    C
  - Maingoblint
  - MakefileUtil
  - MallocWrapperAnalysis
    
    Spec
    
    D
    
    G
    
    C
  - Malloc_null
    
    AD
    
    IdxDom
    
    Offs
    
    Spec
    
    Addr
    
    D
    
    C
    
    G
  - MapDomain
    
    ME
    
    GU
    
    PS
    
    S
    
    Groupable
    
    PMap
    
    HashCached
    
    HConsed
    
    Timed
    
    MapBot
    
    MapTop
    
    LiftTop
    
    MapBot_LiftTop
    
    LiftBot
    
    MapTop_LiftBot
  - MayLocks
    
    Spec
    
    D
    
    C
    
    G
  - MemoryDomain
    
    Stack
    
    Map
  - MessageCategory
    
    Behavior
    
    Undefined
    
    ArrayOutOfBounds
    
    Integer
    
    Cast
  - MessageUtil
  - Messages
    
    GU
    
    Category
    
    Severity
    
    Piece
    
    MultiPiece
    
    Tag
    
    Tags
    
    Message
    
    Table
    
    MH
    
    Strs
  - MusteqDomain
    
    V
    
    F
    
    EquAddr
    
    P
    
    Equ
  - MutexAnalysis
    
    M
    
    GU
    
    Addr
    
    Offs
    
    Lockset
    
    Mutexes
    
    AD
    
    ID
    
    IdxDom
    
    LockingPattern
    
    Exp
    
    LF
    
    SpecParam
    
    G
    
    MakeSpec
    
    D
    
    C
    
    G
    
    MyParam
    
    G
    
    WriteBased
    
    GReadWrite
    
    GWrite
    
    G
    
    Spec
    
    D
    
    C
    
    G
  - MyARG
    
    Node
    
    Edge
    
    CFGEdge
    
    InlineEdge
    
    S
    
    Node
    
    Edge
    
    StackNode
    
    Stack
    
    Node
    
    Edge
    
    IsInteresting
    
    InterestingArg
    
    Node
    
    Edge
    
    SIntra
    
    SIntraOpt
    
    CfgIntra
    
    UnCilLogicIntra
    
    UnCilTernaryIntra
    
    Intra
    
    Node
    
    Edge
  - MyCFG
    
    CfgBackward
    
    CfgForward
    
    CfgBidir
    
    NodeH
    
    Exceptionless
    
    Infix
    
    Labels
  - MyCheck
    
    Gen
    
    Iter
    
    Shrink
    
    Arbitrary
  - MyLiveness
    
    DF
    
    UD
    
    IH
    
    E
    
    VS
    
    LiveFlow
    
    L
    
    nullAdderClass
    
    livenessVisitorClass
    
    doFeatureClass
  - Node
  - ObserverAnalysis
    
    StepObserverAutomaton
    
    MakeSpec
    
    D
    
    G
    
    C
    
    PathArg
    
    MakePathSpec
    
    D
    
    G
    
    C
  - ObserverAutomaton
    
    S
    
    KMPArg
    
    KMP
  - Octagon
    
    BV
    
    Spec
    
    D
    
    G
    
    C
  - OctagonDomain
    
    BI
    
    IKind
    
    INV
    
    S
    
    ArrayOctagon
  - OctagonMapDomain
    
    B
    
    BV
    
    OPT
    
    BI
    
    MatrixCache
    
    L
    
    E
    
    F
    
    OctLiszt
    
    B
    
    ConstraintType
    
    CT
    
    S
    
    VD
    
    MapOctagon
    
    MapOctagonBot
  - Oil
  - OilLexer
  - OilParser
  - OilUtil
  - Osek
    
    Mutex
    
    LockingPattern
    
    CF
    
    GU
    
    Flag
    
    Simple
    
    ThreadLifted
    
    Spec
    
    MyParam
    
    G
    
    M
    
    D
    
    C
    
    G
    
    Offs
    
    Lockset
    
    Flags
    
    Acc
    
    Exceptionless
    
    Infix
    
    Labels
    
    AccKeySet
    
    Exceptionless
    
    Labels
    
    AccLoc
    
    AccValSet
    
    Exceptionless
    
    Labels
    
    D
    
    C
    
    G
    
    OffsMap
    
    Exceptionless
    
    Infix
    
    Labels
    
    OffsSet
    
    Exceptionless
    
    Labels
  - Osektransactionality
    
    Mutex
    
    Spec
    
    D
    
    C
    
    G
  - Osektupel
  - PartitionDomain
    
    Collapse
    
    Set
    
    CollapseSet
    
    Make
    
    S
    
    SetSet
    
    B
    
    E
    
    ExpPartitions
    
    B
    
    E
  - Pml
    
    Chan
    
    Macro
  - Pml_arinc
  - Pml_osek
  - PostSolver
    
    S
    
    S
    
    Var
    
    Dom
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
    
    F
    
    S
    
    VH
    
    Unit
    
    S
    
    VH
    
    Compose
    
    S
    
    VH
    
    Prune
    
    S
    
    VH
    
    Verify
    
    S
    
    VH
    
    Warn
    
    S
    
    VH
    
    SaveRun
    
    S
    
    VH
    
    StartEqConstrSys
    
    Var
    
    Dom
    
    EqConstrSysFromStartEqConstrSys
    
    Var
    
    Dom
    
    Make
    
    S
    
    VH
    
    MakeListArg
    
    S
    
    Var
    
    Dom
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
    
    M
    
    S
    
    VH
    
    MakeList
    
    S
    
    VH
    
    MakeStdArg
    
    ListArgFromStdArg
    
    S
    
    VH
    
    M
    
    S
    
    VH
  - PreValueDomain
    
    ID
    
    IndexDomain
    
    AD
    
    Addr
    
    Offs
    
    Map
    
    B
    
    Addr
    
    Offs
  - PrecCompare
    
    Comparison
    
    Make
    
    MakeHashtbl
    
    CompareD
    
    MakeDump
    
    CompareDump
    
    CompareD
  - PrecCompareUtil
    
    LocalizedPrintable
    
    R
    
    Key
    
    Dom
    
    RH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Key
    
    Dom
    
    RH
    
    Exceptionless
    
    Infix
    
    Labels
    
    Util
    
    Key
    
    Dom
    
    RH
    
    Exceptionless
    
    Infix
    
    Labels
  - Prelude
    
    All
    
    Legacy
    
    LargeFile
    
    Arg
    
    Array
    
    ArrayLabels
    
    Buffer
    
    Bytes
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Filename
    
    Format
    
    Gc
    
    Genlex
    
    Hashtbl
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    Marshal
    
    MoreLabels
    
    Nativeint
    
    Oo
    
    Parsing
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Seq
    
    Stack
    
    StdLabels
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Weak
    
    Unix
    
    Num
    
    Big_int
    
    Bigarray
    
    Str
    
    Result
    
    Array
    
    Buffer
    
    Bytes
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Gc
    
    Genlex
    
    Hashtbl
    
    Int32
    
    Int64
    
    Lexing
    
    List
    
    Map
    
    Marshal
    
    Nativeint
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Stack
    
    Stream
    
    String
    
    Sys
    
    Unix
    
    Big_int
    
    Num
    
    Bigarray
    
    Base64
    
    BitSet
    
    Bit_set
    
    Dllist
    
    DynArray
    
    Enum
    
    File
    
    Global
    
    IO
    
    LazyList
    
    MultiPMap
    
    Option
    
    RefList
    
    Ref
    
    Cache
    
    CharParser
    
    Deque
    
    Hashcons
    
    Heap
    
    FingerTree
    
    Logger
    
    MultiMap
    
    ParserCo
    
    Result
    
    Return
    
    Seq
    
    Substring
    
    Tuple
    
    Tuple2
    
    Tuple3
    
    Tuple4
    
    Tuple5
    
    Vect
    
    ISet
    
    IMap
    
    Splay
    
    Uref
    
    UChar
    
    UTF8
    
    Text
    
    Concurrent
    
    Interfaces
    
    Number
    
    Float
    
    Int
    
    Bool
    
    Unit
    
    Filename
    
    Incubator
    
    Log
    
    Bounded
    
    PathGen
    
    LargeFile
    
    Format
    
    Legacy
    
    Array
    
    Buffer
    
    Bytes
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Gc
    
    Genlex
    
    Hashtbl
    
    Int32
    
    Int64
    
    Lexing
    
    List
    
    Map
    
    Marshal
    
    Nativeint
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Stack
    
    Stream
    
    String
    
    Sys
    
    Unix
    
    Big_int
    
    Num
    
    Bigarray
    
    Base64
    
    BitSet
    
    Bit_set
    
    Dllist
    
    DynArray
    
    Enum
    
    File
    
    Global
    
    IO
    
    LazyList
    
    MultiPMap
    
    Option
    
    RefList
    
    Ref
    
    Cache
    
    CharParser
    
    Deque
    
    Hashcons
    
    Heap
    
    FingerTree
    
    Logger
    
    MultiMap
    
    ParserCo
    
    Result
    
    Return
    
    Seq
    
    Substring
    
    Tuple
    
    Tuple2
    
    Tuple3
    
    Tuple4
    
    Tuple5
    
    Vect
    
    ISet
    
    IMap
    
    Splay
    
    Uref
    
    UChar
    
    UTF8
    
    Text
    
    Concurrent
    
    Interfaces
    
    Number
    
    Float
    
    Int
    
    Bool
    
    Unit
    
    Filename
    
    Incubator
    
    LargeFile
    
    Format
    
    Ana
    
    Legacy
    
    Array
    
    Buffer
    
    Bytes
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Gc
    
    Genlex
    
    Hashtbl
    
    Int32
    
    Int64
    
    Lexing
    
    List
    
    Map
    
    Marshal
    
    Nativeint
    
    Printexc
    
    Printf
    
    Queue
    
    Random
    
    Scanf
    
    Set
    
    Stack
    
    Stream
    
    String
    
    Sys
    
    Unix
    
    Big_int
    
    Num
    
    Bigarray
    
    Base64
    
    BitSet
    
    Bit_set
    
    Dllist
    
    DynArray
    
    Enum
    
    File
    
    Global
    
    IO
    
    LazyList
    
    MultiPMap
    
    Option
    
    RefList
    
    Ref
    
    Cache
    
    CharParser
    
    Deque
    
    Hashcons
    
    Heap
    
    FingerTree
    
    Logger
    
    MultiMap
    
    ParserCo
    
    Result
    
    Return
    
    Seq
    
    Substring
    
    Tuple
    
    Tuple2
    
    Tuple3
    
    Tuple4
    
    Tuple5
    
    Vect
    
    ISet
    
    IMap
    
    Splay
    
    Uref
    
    UChar
    
    UTF8
    
    Text
    
    Concurrent
    
    Interfaces
    
    Number
    
    Float
    
    Int
    
    Bool
    
    Unit
    
    Filename
    
    Incubator
    
    LargeFile
    
    Format
    
    cilVisitor
    
    nopCilVisitor
    
    cilPrinter
    
    defaultCilPrinterClass
    
    plainCilPrinterClass
    
    descriptiveCilPrinter
    
    descriptiveCilPrinterClass
    
    MakeMapPrinter
    
    MakeSetPrinter
  - Printable
    
    S
    
    Std
    
    Blank
    
    Showable
    
    PrintSimple
    
    Name
    
    UnitConf
    
    Unit
    
    LiftingNames
    
    DefaultNames
    
    HConsed
    
    HC
    
    HashCached
    
    LazyHash
    
    Lift
    
    Either
    
    Option
    
    Lift2
    
    ProdConfiguration
    
    ProdConf
    
    Prod
    
    ProdSimple
    
    Prod3
    
    Liszt
    
    ChainParams
    
    Chain
    
    LiftBot
    
    LiftTop
    
    Strings
  - Printer
    
    debugCilPrinterClass
  - PrivPrecCompareUtil
    
    LV
    
    Util
    
    Key
    
    Dom
    
    RH
    
    Exceptionless
    
    Infix
    
    Labels
    
    Key
    
    Dom
    
    RH
  - Queries
    
    GU
    
    ID
    
    LS
    
    TS
    
    ES
    
    VI
    
    PartAccessResult
    
    SD
    
    MayBool
    
    MustBool
    
    Unit
    
    Result
    
    Any
  - Refinement
  - Region
    
    RegMap
    
    RegPart
    
    Reg
    
    Spec
    
    D
    
    G
    
    C
  - RegionDomain
    
    GU
    
    V
    
    B
    
    F
    
    VF
    
    VFB
    
    RS
    
    RegPart
    
    S
    
    RegMap
    
    Reg
    
    RegionDom
  - RichVarinfo
    
    VarinfoMap
    
    G
    
    H
    
    Make
    
    BiVarinfoMap
    
    S
    
    Collection
    
    Make
  - SLR
    
    SLR3
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
    
    Version
    
    Make
    
    X
    
    XY
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
    
    H
    
    HeapCompare
    
    L
    
    P
    
    T
    
    D
    
    MyGenericEqBoxSolver
    
    X
    
    PrintInfluence
    
    S1
    
    X
    
    TwoPhased
    
    X
    
    XY
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
    
    H
    
    HeapCompare
    
    L
    
    P
    
    T
    
    D
    
    JustWiden
    
    X
    
    XY
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
    
    H
    
    HeapCompare
    
    L
    
    P
    
    T
    
    D
  - SLRphased
    
    Make
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
  - SLRterm
    
    SLR3term
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
  - Sarif
    
    Region
  - SarifRules
  - SarifType
    
    Invocation
    
    Region
    
    ArtifactLocation
    
    PhysicalLocation
    
    Artifact
    
    Location
    
    Message
    
    ReportingDescriptor
    
    ToolComponent
    
    Tool
    
    Result
    
    Run
    
    SarifLog
  - Selector
    
    Make
  - Serialize
  - SetDomain
    
    GU
    
    S
    
    Blank
    
    Make
    
    SensitiveConf
    
    Elt
    
    Sensitive
    
    Elt
    
    ToppedSetNames
    
    LiftTop
    
    ToppedSet
    
    HeadlessSet
    
    Reverse
  - ShapeDomain
    
    Q
    
    GU
    
    Var
    
    Bool
    
    Offs
    
    CLval
    
    ListPtr
    
    AdrPair
    
    ListPtrSet
    
    ListPtrSetR
    
    Edges
    
    Rhs
    
    SHMap
    
    Dom
  - Shapes
    
    GU
    
    Re
    
    Spec
    
    LD
    
    D
    
    C
    
    G
  - Signs
    
    Signs
    
    SL
    
    Spec
    
    D
    
    G
    
    C
  - Spec
    
    SC
    
    Spec
    
    D
    
    C
    
    G
    
    SpecCheck
  - SpecCore
  - SpecDomain
    
    D
    
    Val
    
    Dom
    
    K
    
    V
    
    MD
  - SpecLexer
  - SpecParser
  - SpecUtil
  - StackDomain
    
    GU
    
    S
    
    Dom1
    
    VarLat
    
    Var
    
    Dom2
    
    Var
    
    Loc
    
    Dom3
  - StackTrace
    
    LF
    
    Spec
    
    D
    
    C
    
    G
    
    SpecLoc
    
    D
    
    C
    
    G
    
    Spec1
    
    D
    
    C
    
    G
    
    Spec2
    
    D
    
    C
    
    G
  - StructDomain
    
    S
    
    Simple
  - Svcomp
    
    Specification
    
    Task
    
    Cfg
    
    Result
    
    TaskResult
    
    Arg
    
    Node
    
    Edge
    
    StackTaskResult
    
    Arg
    
    Node
    
    Edge
  - SymbLocks
    
    LF
    
    LP
    
    Exp
    
    VarEq
    
    PS
    
    Spec
    
    D
    
    C
    
    G
    
    ExpSet
    
    Exceptionless
    
    Labels
  - Td3
    
    WP
    
    Post
    
    S
    
    Var
    
    Dom
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
  - Termination
    
    M
    
    TermDomain
    
    loopCounterVisitor
    
    loopBreaksVisitor
    
    loopVarsVisitor
    
    loopInstrVisitor
    
    Spec
    
    D
    
    C
    
    G
    
    recomputeVisitor
  - ThreadAnalysis
    
    T
    
    TS
    
    Spec
    
    D
    
    C
    
    G
    
    StartLocIDs
    
    D
    
    C
    
    G
  - ThreadEscape
    
    M
    
    Spec
    
    D
    
    C
    
    G
  - ThreadFlag
    
    GU
    
    LF
    
    Spec
    
    Flag
    
    D
    
    C
    
    G
  - ThreadFlagDomain
    
    S
    
    Trivial
    
    Simple
  - ThreadId
    
    GU
    
    LF
    
    Thread
    
    ThreadLifted
    
    Spec
    
    TD
    
    D
    
    C
    
    G
  - ThreadIdDomain
    
    S
    
    Stateless
    
    Stateful
    
    D
    
    FunLoc
    
    Unit
    
    D
    
    History
    
    D
    
    ThreadLiftNames
    
    Lift
    
    Thread
    
    D
    
    ThreadLifted
  - ThreadJoins
    
    TID
    
    TIDs
    
    MustTIDs
    
    Spec
    
    D
    
    C
    
    G
  - ThreadReturn
    
    Spec
    
    D
    
    G
    
    C
  - TimeUtil
  - Timeout
    
    Unix
    
    Js
  - TopDown
    
    WP
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
  - TopDown_deprecated
    
    GU
    
    TD3
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
    
    HPM
    
    Exceptionless
    
    Infix
    
    Labels
  - TopDown_space_cache_term
    
    WP
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
  - TopDown_term
    
    WP
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
    
    P
  - Tracing
    
    Strs
  - Transform
    
    S
    
    PartialEval
    
    visitor
  - Uninit
    
    M
    
    AD
    
    IdxDom
    
    Offs
    
    Spec
    
    Addr
    
    D
    
    C
    
    G
  - UnionDomain
    
    Field
    
    Simple
  - Unit
    
    Spec
    
    D
    
    G
    
    C
  - UpdateCil
    
    NodeMap
  - ValueDomain
    
    ID
    
    IndexDomain
    
    AD
    
    Addr
    
    Offs
    
    M
    
    GU
    
    Expp
    
    Q
    
    BI
    
    AddrSetDomain
    
    ArrIdxDomain
    
    S
    
    Blob
    
    ZeroInit
    
    Blob
    
    Threads
    
    Compound
    
    Structs
    
    Unions
    
    CArrays
    
    Blobs
    
    Lists
  - VarEq
    
    Addr
    
    Offs
    
    AD
    
    Exp
    
    LF
    
    Spec
    
    D
    
    B
    
    E
    
    C
    
    G
  - Version
  - VersionLookup
  - Violation
    
    ViolationArg
    
    Node
    
    Edge
    
    Feasibility
    
    Node
    
    UnknownFeasibility
    
    Node
    
    PathArg
    
    Node
    
    Edge
  - ViolationZ3
    
    WP
  - Witness
    
    WitnessTaskResult
    
    Arg
    
    Node
    
    Edge
    
    Result
  - WitnessConstraints
    
    Node
    
    Edge
    
    N
    
    PathSensitive3
    
    D
    
    G
    
    C
  - WitnessUtil
    
    NH
    
    NS
    
    HashedPair
    
    HashedList
  - Worklist
    
    Make
    
    GU
    
    VS
    
    Exceptionless
    
    Labels
  - XmlUtil
- Library goblint.sites
  - Goblint_sites
- Library goblint_sites_dune
  - Goblint_sites
- Library goblint_sites_js
  - Goblint_sites
- Sources
  - goblint.lib
    
    apronAnalysis.ml
    
    apronDomain.ml
    
    apronPrecCompareUtil.ml
    
    apronPriv.ml
    
    config.ml
    
    maingoblint.ml
    
    prelude.ml
    
    version.ml
    
    violationZ3.ml
  - goblint_sites_dune
    
    goblint_sites.ml
    
    goblint_sites__goblint_sites_dune__.ml
  - goblint_sites_js
    
    goblint_sites.ml
    
    goblint_sites__goblint_sites_js__.ml

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

Module `Octagon`

module BV = Basetype.Variables

val stripCastsDeep : Prelude.Ana.exp -> Prelude.Ana.exp

module Spec : Analyses.MCPSpec

package goblint

Module Octagon

Module `Octagon`