- AbstractState
- AccessChild
- AccessGlobal
- AccessInstanceGlobal
- AdjacencyMatrix
- AdjacencyMatrix.NodeEdges
- AllocationSite
- AllocationSites
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- Annotation
- AnnotationMatcher
- AnnotationMember
- Annotations
- AnnotationValue
- ArrayAnnotationValue
- ArrayType
- Assignment
- AvailableExpressions
- BaseCallGraph
- BaseHeapDomain
- BaseHeapDomain.Rewriter
- BaseInferredValue
- BaseLattice
- BaseNonRelationalValueDomain
- BasicAnnotationMatcher
- BasicAnnotationValue
- BinaryExpression
- BinaryExpression
- BinaryNativeCall
- BinaryOperator
- BitExternalSet
- BoolAnnotationValue
- BooleanType
- BoolType
- ByteAnnotationValue
- Caches
- Call
- CallGraph
- CallGraphBasedAnalysis
- CallGraphConstructionException
- CallGraphEdge
- CallGraphNode
- CallResolutionException
- CartesianProduct
- CFG
- CFGCall
- CFGDescriptor
- CFGDescriptorWarning
- CFGResults
- CFGWarning
- CFGWithAnalysisResults
- CHACallGraph
- CharAnnotationValue
- Check
- ChecksExecutor
- CheckTool
- CheckToolWithAnalysisResults
- CodeElement
- CodeLocation
- CodeMember
- CollectionsDiffBuilder
- CollectionUtilities
- CompilationUnit
- CompilationUnitAnnotationValue
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- ConstantPropagation
- ContextBasedAnalysis
- ContextInsensitiveToken
- ContextSensitivityToken
- ControlFlowExtractor
- ControlFlowStructure
- Counter
- DataflowDomain
- DataflowElement
- DefaultImplementation
- DefaultParameters
- DefiniteForwardDataflowDomain
- DomainRepresentation
- Dominators
- DotCFG
- DotGraph
- DoubleAnnotationValue
- Edge
- Edge
- EnumAnnotationValue
- Environment
- Expression
- ExpressionSet
- ExpressionVisitor
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FieldSensitivePointBasedHeap
- FIFOWorkingSet
- FileManager
- FileManager.WriteAction
- Fixpoint
- Fixpoint.FixpointImplementation
- FixpointException
- FixpointResults
- FloatAnnotationValue
- FunctionalLattice
- FunctionalLattice.FunctionalLift
- FunctionalLattice.KeyFunctionalLift
- Global
- GlobalWarning
- Graph
- GraphVisitor
- HeapAllocation
- HeapDereference
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapLocation
- HeapReference
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- HybridCall
- Identifier
- IfThenElse
- InferenceSystem
- InferredTypes
- InferredValue
- InferredValue.InferredPair
- InferredValue.InferredPairRepresentation
- IntAnnotationValue
- IntegerConstantPropagation
- InterproceduralAnalysis
- InterproceduralAnalysisException
- Interval
- IntInterval
- IntType
- InverseSetLattice
- IterableArray
- IterationLogger
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- Lattice
- LIFOWorkingSet
- LiSA
- LiSAConfiguration
- LiSAFactory
- LiSAFactory.ConfigurableComponent
- LiSARunner
- Literal
- LongAnnotationValue
- Loop
- MapRepresentation
- MathNumber
- MemoryPointer
- MetaVariableCreator
- ModularWorstCaseAnalysis
- MonolithicHeap
- NativeCall
- NativeCFG
- Node
- NonInterference
- NonRelationalDomain
- NonRelationalElement
- NonRelationalHeapDomain
- NonRelationalValueDomain
- NoOp
- NullConstant
- NullLiteral
- NullType
- NumericType
- OpenCall
- Operator
- OutOfScopeIdentifier
- PairRepresentation
- Parameter
- Parity
- PluggableStatement
- PointBasedHeap
- PointerType
- PossibleForwardDataflowDomain
- Program
- ProgramPoint
- ProgramValidationException
- PushAny
- ReachingDefinitions
- RecursionFreeToken
- Ret
- Return
- RTACallGraph
- ScopeToken
- SemanticCheck
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticEvaluator
- SemanticException
- SemanticExceptionWrapper
- SequentialEdge
- SetLattice
- SetRepresentation
- ShortAnnotationValue
- Sign
- SimpleAbstractState
- SingleScopeToken
- Skip
- SourceCodeLocation
- Statement
- StatementStore
- StatementWarning
- StringAnnotationValue
- StringRepresentation
- StringType
- StringType
- SymbolicExpression
- SyntacticCheck
- SyntheticLocation
- TernaryExpression
- TernaryNativeCall
- TernaryOperator
- Throw
- TimeFormat
- TimerLogger
- TimerLogger.LoggableAction
- TimerLogger.LoggableSupplier
- TrueEdge
- Type
- TypeBasedHeap
- TypeTokenType
- UnaryExpression
- UnaryNativeCall
- UnaryOperator
- UnaryStatement
- Unit
- UnitType
- UnitWarning
- UniversalExternalSet
- UnresolvedCall
- UnresolvedCall.ResolutionStrategy
- Untyped
- ValueCartesianProduct
- ValueDomain
- ValueEnvironment
- ValueExpression
- Variable
- VariableRef
- VariableTableEntry
- VisitOnceWorkingSet
- VoidType
- Warning
- WarningWithLocation
- WorkingSet