- AbstractState
- AccessChild
- AdjacencyMatrix
- AnalysisException
- AnalysisExecutionException
- AnalysisState
- ArrayType
- Assignment
- BaseHeapDomain
- BaseLattice
- BaseNonRelationalValueDomain
- BinaryExpression
- BinaryExpression
- BinaryNativeCall
- BinaryOperator
- BooleanType
- BoolType
- Caches
- Call
- CallGraph
- CFG
- CFG.SemanticFunction
- CFGCall
- CFGDesccriptorWarning
- CFGDescriptor
- CFGWarning
- CFGWithAnalysisResults
- CheckTool
- CollectionsDiffBuilder
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- Counter
- DotGraph
- Edge
- Expression
- ExpressionStore
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FIFOWorkingSet
- FileManager
- FixpointException
- FunctionalLattice
- HeapAllocation
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapIdentifier
- HeapReference
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- Identifier
- InferredTypes
- IntraproceduralCallGraph
- IntType
- InverseSetLattice
- IterationLogger
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- Lattice
- LIFOWorkingSet
- LiSA
- Literal
- MetaVariableCreator
- MonolithicHeap
- NativeCall
- NonRelationalDomain
- NonRelationalHeapDomain
- NonRelationalValueDomain
- NoOp
- NullConstant
- NullLiteral
- NullType
- NumericType
- OpenCall
- Operator
- Parameter
- PointerType
- Ret
- Return
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticException
- SequentialEdge
- SetLattice
- Skip
- Statement
- StatementWarning
- StringType
- StringType
- SymbolicExpression
- SyntacticCheck
- SyntacticChecksExecutor
- TernaryExpression
- TernaryOperator
- Throw
- TimeFormat
- TimerLogger
- TimerLogger.LoggableAction
- TimerLogger.LoggableBiConsumer
- TimerLogger.LoggableBiFunction
- TimerLogger.LoggableConsumer
- TimerLogger.LoggableFunction
- TimerLogger.LoggableMultiConsumer
- TimerLogger.LoggableMultiFunction
- TimerLogger.LoggablePentaConsumer
- TimerLogger.LoggablePentaFunction
- TimerLogger.LoggableQuadConsumer
- TimerLogger.LoggableQuadFunction
- TimerLogger.LoggableSupplier
- TimerLogger.LoggableTriConsumer
- TimerLogger.LoggableTriFunction
- TrueEdge
- Type
- TypeConversion
- TypeEnvironment
- UnaryExpression
- UnaryNativeCall
- UnaryOperator
- UnresolvedCall
- Untyped
- ValueDomain
- ValueEnvironment
- ValueExpression
- ValueIdentifier
- Variable
- VoidType
- Warning
- WarningWithLocation
- WorkingSet