package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Libraries

package goblint

goblint.lib
- AbstractionDomainProperties
  - AbstractFunction
  - AbstractTest
    
    AD
    
    CD
  - Monotone
    
    AD
    
    AF
    
    CD
  - ValidTest
    
    AD
    
    AF
    
    CD
- Access
  - Acc_typHashable
  - Ht
  - HtF
    
    Exceptionless
    
    Infix
    
    Labels
    
    T
  - Ident
  - LSSSet
  - LSSet
  - LabeledString
  - LvalOptHash
    
    Exceptionless
    
    Infix
    
    Labels
  - LvalOptHashable
  - PartAccessResult
  - PartOptHash
    
    Exceptionless
    
    Infix
    
    Labels
  - PartOptHashable
  - TypeHash
    
    Exceptionless
    
    Infix
    
    Labels
- AddressDomain
  - AddressSet
    
    Addr
    
    Offs
    
    B
    
    Idx
  - S
- AfterConfig
- Analyses
  - DefaultSpec
  - Dom
    
    LD
  - EqConstrSys
    
    Dom
    
    Var
  - GenericEqBoxIncrSolver
    
    Arg
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - GenericEqBoxIncrSolverBase
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - GenericEqBoxSolver
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - GenericGlobSolver
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
  - GlobConstrSys
    
    D
    
    G
    
    GVar
    
    LVar
  - IdentitySpec
  - IncrSolverArg
  - MCPSpec
    
    C
    
    D
    
    G
  - MonSystem
    
    Dom
    
    Var
  - Result
    
    C
    
    Exceptionless
    
    Infix
    
    Labels
    
    Range
  - ResultConf
  - ResultNode
  - ResultType2
    
    S
    
    C
    
    D
    
    G
  - Spec
    
    C
    
    D
    
    G
  - Var
  - VarF
    
    LD
  - VarType
- ApronAnalysis
- ApronDomain
- ApronPrecCompareUtil
- ApronPriv
- Arinc
  - Functions
  - Spec
    
    C
    
    D
    
    G
- ArincDomain
  - D
  - Pred
  - Pri
- ArincUtil
  - Action
  - FunTbl
  - GenSig
  - SymTbl
    
    Gen
  - SymTblSig
- ArrayDomain
  - FlagConfiguredArrayDomain
    
    Idx
    
    Val
  - LatticeWithSmartOps
  - Partitioned
    
    Idx
    
    Val
  - PartitionedWithLength
    
    Idx
    
    Val
  - S
  - Trivial
    
    Idx
    
    Val
  - TrivialWithLength
    
    Idx
    
    Val
- Base
  - MainFunctor
    
    Dom
    
    Priv
    
    D
    
    G
    
    RVEval
  - MainSpec
    
    C
    
    D
    
    G
- BaseDomain
  - BaseComponents
    
    PrivD
  - CPA
    
    M
  - DomFunctor
    
    ExpEval
    
    PrivD
  - DomWithTrivialExpEval
    
    PrivD
  - ExpEvaluator
  - Glob
  - PartDeps
    
    VarSet
  - WeakUpdates
- BasePriv
  - S
    
    D
    
    G
- BaseUtil
- Basetype
  - Bools
  - CilExp
  - CilField
  - CilStmt
  - ExtractLocation
  - FieldVariables
  - RawBools
  - RawStrings
  - Strings
  - Variables
- BoolDomain
  - Bool
  - MayBool
  - MustBool
- CfgTools
  - CfgPrinters
    
    NodeStyles
  - NS
  - NodeStyles
  - SCC
- CilType
  - Compinfo
  - Constant
  - Exp
  - Fieldinfo
  - Fundec
  - Location
  - Lval
  - Offset
  - S
  - Std
  - Stmt
  - Typ
  - Varinfo
- Cilfacade
- CommonPriv
- CompareAST
  - GlobalMap
- CompareCFG
  - NH
  - NTH
- CompareCIL
- ConcDomain
- CondVars
  - Domain
  - Spec
- Config
- Constants
  - Spec
    
    C
    
    D
    
    G
- Constraints
  - Compare
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    PP
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    C
    
    D
    
    G
    
    Sys
  - CompareEq
    
    Compare
    
    CompareD
    
    Sys
    
    Dom
    
    Var
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
    
    Var
  - DeadCodeLifter
    
    S
    
    C
    
    D
    
    G
  - EqConstrSysFromGlobConstrSys
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
  - EqIncrSolverFromEqSolver
    
    Arg
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
    
    Sol
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - FromSpec
    
    Cfg
    
    I
    
    S
    
    C
    
    D
    
    G
  - GlobConstrSolFromEqConstrSol
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
    
    S2
    
    Dom
    
    Var
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
  - GlobConstrSolFromEqConstrSolBase
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
    
    VH
    
    Exceptionless
    
    Infix
    
    Labels
  - GlobSolverFromEqSolver
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
    
    Sol
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - HashconsContextLifter
    
    S
    
    C
    
    D
    
    G
  - HashconsLifter
    
    S
    
    C
    
    D
    
    G
  - Increment
  - LevelSliceLifter
    
    S
    
    C
    
    D
    
    G
  - LimitLifter
    
    C
    
    D
    
    G
    
    S
    
    C
    
    D
    
    G
  - OptEqual
    
    C
    
    D
    
    G
    
    S
    
    C
    
    D
    
    G
  - PathSensitive2
    
    D
    
    Spec
    
    C
    
    D
    
    G
  - Var2
    
    GV
    
    LV
  - WidenContextLifterSide
    
    D
    
    DD
    
    M
    
    S
    
    C
    
    D
    
    G
- Contain
  - Spec
    
    D
- ContainDomain
  - ArgSet
  - ClassName
  - ClassNameSet
  - Diff
  - Dom
    
    Danger
    
    InhRel
    
    StringPair
  - FieldSet
  - FieldVars
  - FuncName
  - Globals
  - PrettyField
  - VarName
  - VarNameSet
- ContextUtil
- Control
  - AnalyzeCFG
    
    Cfg
    
    Comp
    
    PP
    
    Exceptionless
    
    Infix
    
    Labels
    
    EQSys
    
    D
    
    G
    
    GVar
    
    LVar
    
    GHT
    
    Exceptionless
    
    Infix
    
    Labels
    
    Inc
    
    LHT
    
    Exceptionless
    
    Infix
    
    Labels
    
    LT
    
    PostSolverArg
    
    RT
    
    Result
    
    Exceptionless
    
    Infix
    
    Labels
    
    Slvr
    
    Spec
    
    C
    
    D
    
    G
    
    WResult
  - S2S
    
    C
    
    D
    
    G
    
    X
    
    C
    
    D
    
    G
- Db
- Deadcode
  - Locmap
    
    Exceptionless
    
    Infix
    
    Labels
- Deadlock
  - Spec
- DeadlockDomain
  - Lockset
  - MyLock
- DeadlocksByRaces
  - Spec
- Defaults
- DomainProperties
  - All
    
    D
  - AllNonAssoc
    
    D
  - Bot
    
    D
  - Connect
    
    D
  - DomainTest
    
    D
  - Equal
    
    D
  - Join
    
    D
  - Leq
    
    D
  - Meet
    
    D
  - Narrow
    
    D
  - S
  - Top
    
    D
  - Widen
    
    D
- Edge
- EffectWConEq
  - Make
    
    HM
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
    
    VS
    
    Exceptionless
    
    Labels
- EscapeDomain
  - EscapedVars
- Events
- Exp
  - Exp
  - LockingPattern
- ExpDomain
- ExpRelation
  - Spec
    
    C
    
    D
    
    G
- ExpressionEvaluation
  - ExpEval
- Extract_arinc
  - Spec
    
    D
    
    FunTbl
    
    H
    
    G
    
    Pfuns
    
    Pids
    
    Pred
    
    Prios
    
    Res
    
    SymTbl
    
    G
    
    Tasks
- Extract_osek
  - Spec
    
    D
    
    FunTbl
    
    H
    
    G
    
    Pfuns
    
    Pids
    
    Pred
    
    Prios
    
    Res
    
    SymTbl
    
    G
    
    Tasks
- FileDomain
  - Dom
    
    MD
    
    V
  - Val
- FileUse
  - Spec
- Flag
  - Spec
    
    VSet
- FlagModeDomain
  - Dom
  - Eq
  - L_names
  - Method
  - P
- FlagModes
  - Spec
- Generic
  - DirtyBoxSolver
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - LoadRunIncrSolver
    
    Arg
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - LoadRunSolver
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - PreciseSideEffectBoxSolver
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - SolverInteractiveWGlob
    
    GH
    
    Exceptionless
    
    Infix
    
    Labels
    
    LH
    
    Exceptionless
    
    Infix
    
    Labels
    
    NH
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    D
    
    G
    
    GVar
    
    LVar
    
    SSH
    
    Exceptionless
    
    Infix
    
    Labels
  - SolverStats
    
    HM
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - SoundBoxSolver
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
  - SoundBoxSolverImpl
    
    H
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Dom
    
    Var
- GobConfig
  - Impl
  - S
- GobFormat
- GobYojson
- Goblintutil
- Graphml
  - ArgNodeGraphMlWriter
    
    M
    
    N
  - DeDupGraphMlWriter
    
    M
    
    Node
  - EnumerateNodeGraphMlWriter
    
    M
    
    N
  - GraphMlWriter
  - StringGraphMlWriter
  - XmlGraphMlWriter
- HoareDomain
  - HoarePO
    
    B
    
    E
  - MapBot
    
    R
    
    SpecD
    
    SpecDGroupable
  - Set
    
    B
  - SetS
  - Set_LiftTop
    
    B
    
    N
- IntDomain
  - Arith
  - ArithIkind
  - B
  - BigInt
  - Booleans
  - BooleansNames
  - Congruence
  - DefExc
  - Enums
  - Flat
    
    Base
  - FlatPureIntegers
  - Flattened
  - FlattenedBI
  - Ikind
  - IkindUnawareS
  - IntDomLifter
    
    I
  - IntDomTuple
  - IntDomWithDefaultIkind
    
    I
    
    Ik
  - Integers
    
    Ints_t
  - Interval
  - Interval32
  - IntervalFunctor
    
    Ints_t
  - Lift
    
    Base
  - Lifted
  - MakeBooleans
    
    Names
  - OldDomainFacade
    
    Old
  - PtrDiffIkind
  - Reverse
    
    Base
  - S
  - Size
  - Y
  - Z
- IntDomainProperties
  - AF
    
    AD
  - All
    
    D
  - AllNonAssoc
    
    D
  - IntegerSet
    
    Base
  - OldS
  - S
  - Valid
    
    AD
  - WithIkind
    
    I
    
    Ik
- IntOps
  - BigIntOps
  - BigIntOpsBase
  - Int32Ops
  - Int32OpsBase
  - Int64Ops
  - Int64OpsBase
  - IntOps
  - IntOpsBase
  - IntOpsDecorator
    
    B
  - NIntOps
  - NIntOpsBase
- Invariant
- InvariantCil
  - exp_is_in_scope_visitor
  - exp_replace_original_name_visitor
- JsonSchema
- Lattice
  - Chain
    
    P
  - Fake
    
    Base
  - FakeSingleton
    
    Base
  - Flat
    
    Base
    
    N
  - HConsed
    
    Base
    
    HC
  - HashCached
    
    LazyHash
    
    M
  - LexProd
    
    Base1
    
    Base2
  - Lift
    
    Base
    
    N
  - Lift2
    
    Base1
    
    Base2
    
    N
  - LiftBot
    
    Base
  - LiftPO
    
    Base
    
    N
  - LiftTop
    
    Base
  - Liszt
    
    Base
  - PD
  - PO
  - Prod
    
    Base1
    
    Base2
  - Prod3
    
    Base1
    
    Base2
    
    Base3
  - ProdConf
    
    Base1
    
    Base2
    
    C
  - ProdSimple
    
    Base1
    
    Base2
  - Reverse
    
    Base
  - S
  - Unit
  - UnitConf
    
    N
- LazyEval
  - Make
    
    M
- LibraryFunctions
- ListDomain
  - S
  - SimpleList
    
    Base
- LockDomain
  - Glob
  - Lockset
    
    AddrSet
    
    Lock
    
    L
    
    ReverseAddrSet
  - MayLockset
  - Mutexes
  - OsekGlob
  - Simple
  - Symbolic
    
    S
- Lval
  - CilLval
  - Fields
    
    FI
  - Normal
    
    Idx
    
    Offs
  - NormalLat
    
    Idx
    
    Offs
  - Offset
    
    Idx
  - S
  - Stateless
    
    Idx
- LvalMapDomain
  - Domain
    
    MD
    
    V
  - S
  - Value
    
    Impl
- MCP
- Maingoblint
- MakefileUtil
- MallocWrapperAnalysis
  - Spec
    
    C
    
    D
    
    G
- Malloc_null
  - Spec
- MapDomain
  - Groupable
  - HConsed
    
    M
  - HashCached
    
    M
  - LiftBot
    
    M
    
    Range
  - LiftTop
    
    M
    
    Range
  - MapBot
    
    Domain
    
    Range
  - MapBot_LiftTop
    
    Domain
    
    Range
  - MapTop
    
    Domain
    
    Range
  - MapTop_LiftBot
    
    Domain
    
    Range
  - PMap
    
    Domain
    
    Range
  - PS
  - S
  - Timed
    
    M
- MayLocks
  - Spec
- MemoryDomain
  - Stack
    
    Map
    
    VD
- MessageCategory
  - Behavior
    
    Undefined
    
    ArrayOutOfBounds
  - Cast
  - Integer
- MessageUtil
- Messages
  - Message
  - MultiPiece
  - Piece
  - Severity
  - Table
    
    MH
  - Tag
  - Tags
- MusteqDomain
  - Equ
  - EquAddr
  - P
- MutexAnalysis
  - MakeSpec
    
    P
    
    G
  - MyParam
  - Spec
    
    G
  - SpecParam
    
    G
  - WriteBased
    
    G
    
    GReadWrite
    
    GWrite
- MyARG
  - CFGEdge
  - CfgIntra
    
    Cfg
  - Edge
  - InlineEdge
  - InterestingArg
    
    Arg
    
    Edge
    
    Node
    
    IsInteresting
  - Intra
    
    Arg
    
    Edge
    
    Node
    
    ArgIntra
  - IsInteresting
  - Node