- AbstractState
- AccessChild
- AccessGlobal
- AccessInstanceGlobal
- Addition
- AdditionOperator
- AdjacencyMatrix
- AdjacencyMatrix.NodeEdges
- Aliases
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- And
- Annotation
- AnnotationMatcher
- AnnotationMember
- Annotations
- AnnotationValue
- ArithmeticOperator
- ArrayAnnotationValue
- ArrayType
- Assignment
- BaseCallGraph
- BaseHeapDomain
- BaseHeapDomain.Rewriter
- BaseInferredValue
- BaseLattice
- BaseNonRelationalTypeDomain
- BaseNonRelationalValueDomain
- BasicAnnotationMatcher
- BasicAnnotationValue
- BinaryExpression
- BinaryExpression
- BinaryOperator
- BitExternalSet
- BitwiseAnd
- BitwiseNegation
- BitwiseOperator
- BitwiseOr
- BitwiseShiftLeft
- BitwiseShiftRight
- BitwiseUnsignedShiftRight
- BitwiseXor
- BoolAnnotationValue
- BooleanType
- BoolType
- ByteAnnotationValue
- Caches
- Call
- Call.CallType
- CallGraph
- CallGraphConstructionException
- CallGraphEdge
- CallGraphNode
- CallResolutionException
- CallWithResult
- CanRemoveReceiver
- CastIterable
- CFG
- CFGCall
- CFGDescriptor
- CFGDescriptorWarning
- CFGWarning
- CFGWithAnalysisResults
- CharAnnotationValue
- Check
- ChecksExecutor
- CheckTool
- CheckToolWithAnalysisResults
- CodeElement
- CodeLocation
- CodeMember
- CollectionsDiffBuilder
- CollectionUtilities
- ComparisonEq
- ComparisonGe
- ComparisonGt
- ComparisonLe
- ComparisonLt
- ComparisonNe
- ComparisonOperator
- CompilationUnit
- CompilationUnitAnnotationValue
- Concat
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- Contains
- ControlFlowExtractor
- ControlFlowStructure
- Counter
- DataflowDomain
- DataflowElement
- DefiniteForwardDataflowDomain
- Division
- DivisionOperator
- DomainRepresentation
- Dominators
- DotCFG
- DotGraph
- DoubleAnnotationValue
- Edge
- Edge
- EndsWith
- EnumAnnotationValue
- Environment
- Equal
- Equals
- EvaluationOrder
- Expression
- ExpressionSet
- ExpressionVisitor
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FalseLiteral
- FIFOWorkingSet
- FileManager
- FileManager.WriteAction
- FixedOrderMatchingStrategy
- 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
- HierarcyTraversalStrategy
- Identifier
- IfThenElse
- IndexOf
- InferenceSystem
- InferredValue
- InferredValue.InferredPair
- InferredValue.InferredPairRepresentation
- InMemoryType
- Int16
- Int16Literal
- Int32
- Int32Literal
- Int64
- Int64Literal
- Int8
- Int8Literal
- IntAnnotationValue
- InterproceduralAnalysis
- InterproceduralAnalysisException
- IntInterval
- InverseSetLattice
- IterableArray
- IterationLogger
- JavaLikeMatchingStrategy
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- Lattice
- LeftToRightEvaluation
- Length
- LessOrEqual
- LessThan
- LIFOWorkingSet
- Literal
- LogicalAnd
- LogicalNegation
- LogicalOperator
- LogicalOr
- LongAnnotationValue
- Loop
- MapRepresentation
- MathNumber
- MemoryPointer
- MetaVariableCreator
- Module
- MultiCall
- Multiplication
- Multiplication
- NamedParameterExpression
- NameSymbol
- NaryExpression
- NativeCall
- NativeCFG
- NegatableOperator
- Negation
- Node
- NonRelationalDomain
- NonRelationalElement
- NonRelationalHeapDomain
- NonRelationalTypeDomain
- NonRelationalValueDomain
- NoOp
- Not
- NotEqual
- NullConstant
- NullLiteral
- NullType
- Numeric16BitAdd
- Numeric16BitDiv
- Numeric16BitMod
- Numeric16BitMul
- Numeric16BitSub
- Numeric32BitAdd
- Numeric32BitDiv
- Numeric32BitMod
- Numeric32BitMul
- Numeric32BitSub
- Numeric64BitAdd
- Numeric64BitDiv
- Numeric64BitMod
- Numeric64BitMul
- Numeric64BitSub
- Numeric8BitAdd
- Numeric8BitDiv
- Numeric8BitMod
- Numeric8BitMul
- Numeric8BitSub
- NumericNegation
- NumericNonOverflowingAdd
- NumericNonOverflowingDiv
- NumericNonOverflowingMod
- NumericNonOverflowingMul
- NumericNonOverflowingSub
- NumericType
- OpenCall
- OpenCallPolicy
- Operator
- Or
- OrderPreservingAssigningStrategy
- OutOfScopeIdentifier
- OverflowingOperator
- PairRepresentation
- Parameter
- ParameterAssigningStrategy
- ParameterMatchingStrategy
- PluggableStatement
- PointerType
- PossibleForwardDataflowDomain
- Program
- ProgramPoint
- ProgramValidationException
- PushAny
- PythonLikeAssigningStrategy
- PythonLikeMatchingStrategy
- QualifiedNameSymbol
- QualifierSymbol
- ReferenceType
- Remainder
- Replace
- Ret
- Return
- ReturnTopPolicy
- RightToLeftEvaluation
- RuntimeTypesMatchingStrategy
- ScopeToken
- SemanticCheck
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticEvaluator
- SemanticException
- SemanticExceptionWrapper
- SequentialEdge
- SetLattice
- SetRepresentation
- ShortAnnotationValue
- SimpleAbstractState
- SingleInheritanceTraversalStrategy
- Skip
- SourceCodeLocation
- StartsWith
- Statement
- StatementStore
- StatementWarning
- StaticTypesMatchingStrategy
- StringAnnotationValue
- StringConcat
- StringContains
- StringEndsWith
- StringEquals
- StringIndexOf
- StringLength
- StringLiteral
- StringOperator
- StringReplace
- StringRepresentation
- StringStartsWith
- StringSubstring
- StringType
- StringType
- Substring
- Subtraction
- SubtractionOperator
- Symbol
- SymbolAliasing
- SymbolicExpression
- SyntacticCheck
- SyntheticLocation
- TernaryExpression
- TernaryExpression
- TernaryOperator
- Throw
- TimeFormat
- TimerLogger
- TimerLogger.LoggableAction
- TimerLogger.LoggableSupplier
- TrueEdge
- TrueLiteral
- TruncatedParamsCall
- Type
- TypeCast
- TypeCheck
- TypeConv
- TypeDomain
- TypeEnvironment
- TypeOf
- TypeOperator
- TypeTokenType
- UInt16
- UInt16Literal
- UInt32
- UInt32Literal
- UInt64
- UInt64Literal
- UInt8
- UInt8Literal
- UnaryExpression
- UnaryExpression
- UnaryOperator
- UnaryStatement
- Unit
- UnitType
- UnitWarning
- UniversalExternalSet
- UnresolvedCall
- Untyped
- ValueDomain
- ValueEnvironment
- ValueExpression
- Variable
- VariableRef
- VariableTableEntry
- VisitOnceWorkingSet
- VoidType
- Warning
- WarningWithLocation
- WorkingSet
- WorstCasePolicy