- AbstractState
- AccessChild
- AccessGlobal
- AccessUnitGlobal
- AdjacencyMatrix
- AllocationSite
- AllocationSites
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- ArrayType
- Assignment
- AvailableExpressions
- BaseHeapDomain
- BaseInferredValue
- BaseLattice
- BaseNonRelationalValueDomain
- BinaryExpression
- BinaryExpression
- BinaryNativeCall
- BinaryOperator
- BitExternalSet
- BooleanType
- BoolType
- Caches
- Call
- CallGraph
- CallGraphConstructionException
- CallResolutionException
- CartesianProduct
- CFG
- CFGCall
- CFGDescriptor
- CFGDescriptorWarning
- CFGWarning
- CFGWithAnalysisResults
- CheckTool
- CodeElement
- CodeLocation
- CodeMember
- CollectionsDiffBuilder
- CompilationUnit
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- ConstantPropagation
- Counter
- DataflowDomain
- DataflowElement
- DefaultImplementation
- DefaultParameters
- DefiniteForwardDataflowDomain
- DotCFG
- DotGraph
- Edge
- Edge
- Environment
- Expression
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FieldSensitivePointBasedHeap
- FIFOWorkingSet
- FileManager
- FixpointException
- FixpointGraph
- FixpointGraph.SemanticFunction
- FunctionalLattice
- Global
- Graph
- GraphVisitor
- HeapAllocation
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapLocation
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- Identifier
- InferenceSystem
- InferredTypes
- InferredValue
- IntegerConstantPropagation
- Interval
- IntraproceduralCallGraph
- IntType
- InverseSetLattice
- IterationLogger
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- Lattice
- LIFOWorkingSet
- LiSA
- LiSAConfiguration
- LiSAFactory
- LiSAFactory.ConfigurableComponent
- Literal
- MetaVariableCreator
- MonolithicHeap
- NativeCall
- NativeCFG
- Node
- NonRelationalDomain
- NonRelationalHeapDomain
- NonRelationalValueDomain
- NoOp
- NullConstant
- NullLiteral
- NullType
- NumericType
- OpenCall
- Operator
- Parameter
- Parity
- PluggableStatement
- PointBasedHeap
- PointerType
- PossibleForwardDataflowDomain
- Program
- ProgramPoint
- ProgramValidationException
- PushAny
- ReachingDefinitions
- Ret
- Return
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticEdge
- SemanticEvaluator
- SemanticException
- SequentialEdge
- SetLattice
- Sign
- SimpleAbstractState
- Skip
- SourceCodeLocation
- Statement
- StatementStore
- StatementWarning
- StringType
- StringType
- SymbolicExpression
- SyntacticCheck
- SyntacticChecksExecutor
- TernaryExpression
- TernaryNativeCall
- 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
- TypeBasedHeap
- TypeTokenType
- UnaryExpression
- UnaryNativeCall
- UnaryOperator
- UnaryStatement
- Unit
- UnitType
- UniversalExternalSet
- UnresolvedCall
- UnresolvedCall.ResolutionStrategy
- Untyped
- Utils
- ValueCartesianProduct
- ValueDomain
- ValueEnvironment
- ValueExpression
- Variable
- VariableRef
- VariableTableEntry
- VoidType
- Warning
- WarningWithLocation
- WorkingSet