- AbstractState
- AccessChild
- AccessGlobal
- AccessInstanceGlobal
- Addition
- AdjacencyMatrix
- AdjacencyMatrix.NodeEdges
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- And
- Annotation
- AnnotationMatcher
- AnnotationMember
- Annotations
- AnnotationValue
- ArrayAnnotationValue
- ArrayType
- Assignment
- BaseCallGraph
- BaseHeapDomain
- BaseHeapDomain.Rewriter
- BaseInferredValue
- BaseLattice
- BaseNonRelationalValueDomain
- BasicAnnotationMatcher
- BasicAnnotationValue
- BinaryExpression
- BinaryExpression
- BinaryNativeCall
- BinaryOperator
- BitExternalSet
- BoolAnnotationValue
- BooleanType
- BoolType
- ByteAnnotationValue
- Caches
- Call
- CallGraph
- CallGraphConstructionException
- CallGraphEdge
- CallGraphNode
- CallResolutionException
- CFG
- CFGCall
- CFGDescriptor
- CFGDescriptorWarning
- CFGWarning
- CFGWithAnalysisResults
- CharAnnotationValue
- Check
- ChecksExecutor
- CheckTool
- CheckToolWithAnalysisResults
- CodeElement
- CodeLocation
- CodeMember
- CollectionsDiffBuilder
- CollectionUtilities
- CompilationUnit
- CompilationUnitAnnotationValue
- Concat
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- Contains
- ControlFlowExtractor
- ControlFlowStructure
- Counter
- DataflowDomain
- DataflowElement
- DefiniteForwardDataflowDomain
- Division
- DomainRepresentation
- Dominators
- DotCFG
- DotGraph
- DoubleAnnotationValue
- Edge
- Edge
- EndsWith
- EnumAnnotationValue
- Environment
- Equal
- Equals
- Expression
- ExpressionSet
- ExpressionVisitor
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FalseLiteral
- FIFOWorkingSet
- FileManager
- FileManager.WriteAction
- Fixpoint
- Fixpoint.FixpointImplementation
- FixpointException
- Float32
- Float32Literal
- Float64
- Float64Literal
- FloatAnnotationValue
- FunctionalLattice
- FunctionalLattice.FunctionalLift
- FunctionalLattice.KeyFunctionalLift
- Global
- GlobalWarning
- Graph
- GraphVisitor
- GreaterOrEqual
- GreaterThan
- HeapAllocation
- HeapDereference
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapLocation
- HeapReference
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- HybridCall
- Identifier
- IfThenElse
- IndexOf
- InferenceSystem
- InferredValue
- InferredValue.InferredPair
- InferredValue.InferredPairRepresentation
- Int16
- Int16Literal
- Int32
- Int32Literal
- Int64
- Int64Literal
- Int8
- Int8Literal
- IntAnnotationValue
- InterproceduralAnalysis
- InterproceduralAnalysisException
- IntInterval
- InverseSetLattice
- IterableArray
- IterationLogger
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- Lattice
- Length
- LessOrEqual
- LessThan
- LIFOWorkingSet
- Literal
- LongAnnotationValue
- Loop
- MapRepresentation
- MathNumber
- MemoryPointer
- MetaVariableCreator
- Multiplication
- NativeCall
- NativeCFG
- Negation
- Node
- NonRelationalDomain
- NonRelationalElement
- NonRelationalHeapDomain
- NonRelationalValueDomain
- NoOp
- Not
- NotEqual
- NullConstant
- NullLiteral
- NullType
- NumericType
- OpenCall
- Operator
- Or
- OutOfScopeIdentifier
- PairRepresentation
- Parameter
- PluggableStatement
- PointerType
- PossibleForwardDataflowDomain
- Program
- ProgramPoint
- ProgramValidationException
- PushAny
- Remainder
- Replace
- Ret
- Return
- ScopeToken
- SemanticCheck
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticEvaluator
- SemanticException
- SemanticExceptionWrapper
- SequentialEdge
- SetLattice
- SetRepresentation
- ShortAnnotationValue
- SimpleAbstractState
- Skip
- SourceCodeLocation
- StartsWith
- Statement
- StatementStore
- StatementWarning
- StringAnnotationValue
- StringLiteral
- StringRepresentation
- StringType
- StringType
- Substring
- Subtraction
- SymbolicExpression
- SyntacticCheck
- SyntheticLocation
- TernaryExpression
- TernaryNativeCall
- TernaryOperator
- Throw
- TimeFormat
- TimerLogger
- TimerLogger.LoggableAction
- TimerLogger.LoggableSupplier
- TrueEdge
- TrueLiteral
- Type
- TypeTokenType
- UInt16
- UInt16Literal
- UInt32
- UInt32Literal
- UInt64
- UInt64Literal
- UInt8
- UInt8Literal
- UnaryExpression
- UnaryNativeCall
- UnaryOperator
- UnaryStatement
- Unit
- UnitType
- UnitWarning
- UniversalExternalSet
- UnresolvedCall
- UnresolvedCall.ResolutionStrategy
- Untyped
- ValueDomain
- ValueEnvironment
- ValueExpression
- Variable
- VariableRef
- VariableTableEntry
- VisitOnceWorkingSet
- VoidType
- Warning
- WarningWithLocation
- WorkingSet