- AbstractClassUnit
- AbstractCodeMember
- AbstractState
- AccessChild
- AccessGlobal
- AccessInstanceGlobal
- Addition
- AdditionOperator
- AdjacencyMatrix
- AdjacencyMatrix.NodeEdges
- Aliases
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- And
- Annotation
- AnnotationMatcher
- AnnotationMember
- Annotations
- AnnotationValue
- Application
- ArithmeticOperator
- ArrayAnnotationValue
- ArrayType
- Assignment
- BaseCallGraph
- BaseGraph
- BaseHeapDomain
- BaseHeapDomain.Rewriter
- BaseInferredValue
- BaseLattice
- BaseNonRelationalTypeDomain
- BaseNonRelationalValueDomain
- BaseValidationLogic
- BasicAnnotationMatcher
- BasicAnnotationValue
- BinaryExpression
- BinaryExpression
- BinaryOperator
- BitExternalSet
- BitwiseAnd
- BitwiseNegation
- BitwiseOperator
- BitwiseOr
- BitwiseShiftLeft
- BitwiseShiftRight
- BitwiseUnsignedShiftRight
- BitwiseXor
- BoolAnnotationValue
- BooleanType
- BoolType
- ByteAnnotationValue
- Call
- Call.CallType
- CallGraph
- CallGraphConstructionException
- CallGraphEdge
- CallGraphNode
- CallResolutionException
- CallWithResult
- CanRemoveReceiver
- CastIterable
- CFG
- CFGCall
- CFGDescriptorWarning
- CFGWarning
- CFGWithAnalysisResults
- CharAnnotationValue
- Check
- ChecksExecutor
- CheckTool
- CheckToolWithAnalysisResults
- ClassUnit
- CodeEdge
- CodeElement
- CodeGraph
- CodeLocation
- CodeMember
- CodeMemberDescriptor
- CodeNode
- CodeUnit
- 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
- 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
- Float32Literal
- Float32Type
- Float64Literal
- Float64Type
- FloatAnnotationValue
- FunctionalLattice
- FunctionalLattice.FunctionalLift
- FunctionalLattice.KeyFunctionalLift
- Global
- GlobalWarning
- Graph
- GraphmlGraph
- GraphStreamWrapper
- GraphVisitor
- GreaterOrEqual
- GreaterThan
- HeapAllocation
- HeapDereference
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapLocation
- HeapReference
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- HierarcyTraversalStrategy
- HtmlGraph
- Identifier
- IfThenElse
- IndexOf
- InferenceSystem
- InferredValue
- InferredValue.InferredPair
- InMemoryType
- Int16Literal
- Int16Type
- Int32Literal
- Int32Type
- Int64Literal
- Int64Type
- Int8Literal
- Int8Type
- IntAnnotationValue
- InterfaceUnit
- InterproceduralAnalysis
- InterproceduralAnalysisException
- IntInterval
- InverseSetLattice
- IterableArray
- IterationLogger
- JavaLikeMatchingStrategy
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.DiffReporter
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- LanguageFeatures
- Lattice
- LeftToRightEvaluation
- Length
- LessOrEqual
- LessThan
- LIFOWorkingSet
- ListRepresentation
- Literal
- LogicalAnd
- LogicalNegation
- LogicalOperation
- LogicalOperator
- LogicalOr
- LongAnnotationValue
- Loop
- MapRepresentation
- MathNumber
- MemoryPointer
- MetaVariableCreator
- ModuleOperator
- MultiCall
- Multiplication
- MultiplicationOperator
- NamedParameterExpression
- NameSymbol
- NaryExpression
- NativeCall
- NativeCFG
- NegatableOperator
- Negation
- Node
- NodeList
- NodeList.NodeEdges
- NoEntryPointException
- 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
- NumericComparison
- NumericNegation
- NumericNonOverflowingAdd
- NumericNonOverflowingDiv
- NumericNonOverflowingMod
- NumericNonOverflowingMul
- NumericNonOverflowingSub
- NumericOperation
- NumericType
- ObjectRepresentation
- OpenCall
- OpenCallPolicy
- Operator
- Or
- OrderPreservingAssigningStrategy
- OutOfScopeIdentifier
- OutputDumpingException
- OverflowingOperator
- Parameter
- ParameterAssigningStrategy
- ParameterMatchingStrategy
- PluggableStatement
- PointerType
- PossibleForwardDataflowDomain
- Program
- ProgramPoint
- ProgramUnit
- ProgramValidationException
- ProgramValidationLogic
- PushAny
- PythonLikeAssigningStrategy
- PythonLikeMatchingStrategy
- QualifiedNameSymbol
- QualifierSymbol
- ReferenceType
- Remainder
- Replace
- ResolvedCall
- Ret
- Return
- ReturnTopPolicy
- RightToLeftEvaluation
- RuntimeTypesMatchingStrategy
- ScopeToken
- SemanticCheck
- SemanticDomain
- SemanticDomain.Satisfiability
- SemanticEvaluator
- SemanticException
- SemanticExceptionWrapper
- SequentialEdge
- SerializableArray
- SerializableCFG
- SerializableEdge
- SerializableGraph
- SerializableNode
- SerializableNodeDescription
- SerializableObject
- SerializableString
- SerializableValue
- SetLattice
- SetRepresentation
- ShortAnnotationValue
- SimpleAbstractState
- SingleInheritanceTraversalStrategy
- Skip
- SourceCodeLocation
- StartsWith
- Statement
- StatementStore
- StatementWarning
- StaticTypesMatchingStrategy
- StringAnnotationValue
- StringConcat
- StringContains
- StringEndsWith
- StringEquals
- StringIndexOf
- StringLength
- StringLiteral
- StringOperation
- 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
- TypeSystem
- TypeTokenType
- UInt16Literal
- UInt16Type
- UInt32Literal
- UInt32Type
- UInt64Literal
- UInt64Type
- UInt8Literal
- UInt8Type
- UnaryExpression
- UnaryExpression
- UnaryOperator
- UnaryStatement
- Unit
- UnitType
- UnitWarning
- UniversalExternalSet
- UnresolvedCall
- Untyped
- ValueDeserializer
- ValueDomain
- ValueEnvironment
- ValueExpression
- ValueSerializer
- Variable
- VariableRef
- VariableTableEntry
- VisitOnceWorkingSet
- VoidType
- Warning
- WarningWithLocation
- WorkingSet
- WorstCasePolicy