All Classes
- AbstractClassUnit
- AbstractCodeMember
- AbstractState
- AccessChild
- AdditionOperator
- AdjacencyMatrix
- AdjacencyMatrix.NodeEdges
- Aliases
- AnalysisException
- AnalysisExecutionException
- AnalysisSetupException
- AnalysisState
- AnalyzedCFG
- Annotation
- AnnotationMatcher
- AnnotationMember
- Annotations
- AnnotationValue
- Application
- ArithmeticOperator
- ArrayAnnotationValue
- ArrayType
- AscendingFixpoint
- Assignment
- Atom
- AutomataFactory
- Automaton
- BackwardAnalyzedCFG
- BackwardAscendingFixpoint
- BackwardCFGFixpoint
- BackwardDescendingGLBFixpoint
- BackwardDescendingNarrowingFixpoint
- BackwardFixpoint
- BackwardOptimizedAnalyzedCFG
- BaseCallGraph
- BaseConfiguration
- BaseGraph
- BaseHeapDomain
- BaseHeapDomain.Rewriter
- BaseInferredValue
- BaseInferredValue.EvaluationVisitor
- BaseLattice
- BaseNonRelationalTypeDomain
- BaseNonRelationalTypeDomain.EvaluationVisitor
- BaseNonRelationalValueDomain
- BaseNonRelationalValueDomain.EvaluationVisitor
- BaseValidationLogic
- BasicAnnotationMatcher
- BasicAnnotationValue
- BinaryExpression
- BinaryExpression
- BinaryOperator
- BinaryStatement
- BitExternalSet
- BitwiseAnd
- BitwiseNegation
- BitwiseOperator
- BitwiseOr
- BitwiseShiftLeft
- BitwiseShiftRight
- BitwiseUnsignedShiftRight
- BitwiseXor
- BoolAnnotationValue
- BooleanType
- ByteAnnotationValue
- Call
- Call.CallType
- CallGraph
- CallGraphConstructionException
- CallGraphEdge
- CallGraphNode
- CallResolutionException
- CallWithResult
- CanRemoveReceiver
- CastIterable
- CFG
- CFGCall
- CFGDescriptorWarning
- CFGFixpoint
- CFGFixpoint.CompoundState
- CFGResults
- CFGWarning
- CharAnnotationValue
- Check
- ChecksExecutor
- CheckTool
- CheckToolWithAnalysisResults
- ClassUnit
- CodeEdge
- CodeElement
- CodeGraph
- CodeLocation
- CodeMember
- CodeMemberDescriptor
- CodeNode
- CodeUnit
- CollectionsDiffBuilder
- CollectionUtilities
- CollectionUtilities.SortedSetCollector
- CollectionUtilities.StringCollector
- Comp
- ComparisonEq
- ComparisonGe
- ComparisonGt
- ComparisonLe
- ComparisonLt
- ComparisonNe
- ComparisonOperator
- CompilationUnit
- CompilationUnitAnnotationValue
- ConcurrentFIFOWorkingSet
- ConcurrentLIFOWorkingSet
- Constant
- ConstantGlobal
- ControlFlowExtractor
- ControlFlowStructure
- Counter
- CyclicAutomatonException
- DataflowDomain
- DataflowElement
- DefaultParamInitialization
- DefiniteDataflowDomain
- DescendingGLBFixpoint
- DescendingNarrowingFixpoint
- DivisionOperator
- Dominators
- DotGraph
- DoubleAnnotationValue
- DuplicateFreeFIFOWorkingSet
- DuplicateFreeLIFOWorkingSet
- Edge
- Edge
- EmptySet
- EnumAnnotationValue
- Environment
- EvaluationOrder
- Expression
- ExpressionInverseSet
- ExpressionSet
- ExpressionVisitor
- ExpressionWarning
- ExternalSet
- ExternalSetCache
- FalseEdge
- FIFOWorkingSet
- FileManager
- FileManager.WriteAction
- FixedOrderMatchingStrategy
- Fixpoint
- Fixpoint.FixpointImplementation
- FixpointConfiguration
- FixpointException
- FixpointInfo
- FixpointResults
- FloatAnnotationValue
- FunctionalLattice
- FunctionalLattice.FunctionalLift
- FunctionalLattice.KeyFunctionalLift
- GenericInverseSetLattice
- GenericMapLattice
- GenericSetLattice
- Global
- GlobalWarning
- Graph
- GraphmlGraph
- GraphStreamWrapper
- GraphVisitor
- HeapDereference
- HeapDomain
- HeapEnvironment
- HeapExpression
- HeapLocation
- HeapReference
- HeapSemanticOperation
- HeapSemanticOperation.HeapReplacement
- HierarcyTraversalStrategy
- HtmlGraph
- Identifier
- IfThenElse
- InferenceSystem
- InferredValue
- InferredValue.InferredPair
- InfiniteIterationException
- InMemoryType
- IntAnnotationValue
- InterfaceUnit
- InterproceduralAnalysis
- InterproceduralAnalysisException
- IntInterval
- IntIntervalIterator
- InverseSetLattice
- IterableArray
- IterationLogger
- JavaLikeMatchingStrategy
- JsonReport
- JsonReport.JsonWarning
- JsonReportComparer
- JsonReportComparer.BaseDiffAlgorithm
- JsonReportComparer.DiffAlgorithm
- JsonReportComparer.REPORT_TYPE
- JsonReportComparer.REPORTED_COMPONENT
- LanguageFeatures
- Lattice
- LeftToRightEvaluation
- LIFOWorkingSet
- LiSA
- LiSAConfiguration
- LiSAConfiguration.DescendingPhaseType
- LiSAConfiguration.GraphType
- LiSAReport
- LiSARunInfo
- LiSARunner
- ListRepresentation
- Literal
- LogicalAnd
- LogicalNegation
- LogicalOperation
- LogicalOperator
- LogicalOr
- LongAnnotationValue
- Loop
- MapRepresentation
- MathNumber
- MathNumberConversionException
- MemoryAllocation
- MemoryOracle
- MemoryPointer
- MetaVariableCreator
- ModuloOperator
- MultiCall
- MultiplicationOperator
- NamedParameterExpression
- NameSymbol
- NaryExpression
- NaryStatement
- NativeCall
- NativeCFG
- NegatableOperator
- Node
- NodeList
- NodeList.NodeEdges
- NoEntryPointException
- NonRelationalDomain
- NonRelationalElement
- NonRelationalHeapDomain
- NonRelationalTypeDomain
- NonRelationalValueDomain
- NoOp
- NullConstant
- NullType
- Numeric16BitAdd
- Numeric16BitDiv
- Numeric16BitMod
- Numeric16BitMul
- Numeric16BitRem
- Numeric16BitSub
- Numeric32BitAdd
- Numeric32BitDiv
- Numeric32BitMod
- Numeric32BitMul
- Numeric32BitRem
- Numeric32BitSub
- Numeric64BitAdd
- Numeric64BitDiv
- Numeric64BitMod
- Numeric64BitMul
- Numeric64BitRem
- Numeric64BitSub
- Numeric8BitAdd
- Numeric8BitDiv
- Numeric8BitMod
- Numeric8BitMul
- Numeric8BitRem
- Numeric8BitSub
- NumericComparison
- NumericNegation
- NumericNonOverflowingAdd
- NumericNonOverflowingDiv
- NumericNonOverflowingMod
- NumericNonOverflowingMul
- NumericNonOverflowingRem
- NumericNonOverflowingSub
- NumericOperation
- NumericType
- ObjectRepresentation
- OpenCall
- OpenCallPolicy
- Operator
- OptimizedAnalyzedCFG
- OptimizedBackwardFixpoint
- OptimizedFixpoint
- Or
- OrderPreservingAssigningStrategy
- OutOfScopeIdentifier
- OutputDumpingException
- OverflowingOperator
- Parameter
- ParameterAssigningStrategy
- ParameterMatchingStrategy
- PluggableStatement
- PointerType
- PossibleDataflowDomain
- Program
- ProgramPoint
- ProgramUnit
- ProgramValidationException
- ProgramValidationLogic
- PushAny
- PushInv
- PythonLikeAssigningStrategy
- PythonLikeMatchingStrategy
- QualifiedNameSymbol
- QualifierSymbol
- ReferenceType
- RegularExpression
- RegularExpression.PartialSubstring
- RemainderOperator
- ResolvedCall
- Ret
- Return
- ReturnTopPolicy
- RightToLeftEvaluation
- RuntimeTypesMatchingStrategy
- Satisfiability
- SCCs
- ScopedObject
- ScopeId
- ScopeToken
- SemanticCheck
- SemanticDomain
- SemanticEvaluator
- SemanticException
- SemanticExceptionWrapper
- SemanticOracle
- SequentialEdge
- SerializableArray
- SerializableCFG
- SerializableEdge
- SerializableGraph
- SerializableNode
- SerializableNodeDescription
- SerializableObject
- SerializableString
- SerializableValue
- SetLattice
- SetRepresentation
- ShortAnnotationValue
- SingleInheritanceTraversalStrategy
- Skip
- SourceCodeLocation
- Star
- State
- Statement
- StatementStore
- StatementWarning
- StaticTypesMatchingStrategy
- StringAnnotationValue
- StringConcat
- StringContains
- StringEndsWith
- StringEquals
- StringIndexOf
- StringLength
- StringOperation
- StringOperator
- StringReplace
- StringRepresentation
- StringStartsWith
- StringSubstring
- StringType
- StringUtilities
- StructuredObject
- StructuredRepresentation
- SubtractionOperator
- Symbol
- SymbolAliasing
- SymbolicChar
- SymbolicExpression
- SymbolicString
- SyntacticCheck
- SyntheticLocation
- TernaryExpression
- TernaryExpression
- TernaryOperator
- TernaryStatement
- Throw
- TimeFormat
- TimerLogger
- TimerLogger.LoggableAction
- TimerLogger.LoggableSupplier
- TopAtom
- Transition
- TransitionSymbol
- TrueEdge
- TruncatedParamsCall
- Type
- TypeCast
- TypeCheck
- TypeConv
- TypeDomain
- TypeEnvironment
- TypeOf
- TypeOperator
- TypeOracle
- TypeSystem
- TypeTokenType
- UnaryExpression
- UnaryExpression
- UnaryOperator
- UnaryStatement
- UniqueScope
- Unit
- UnitType
- UnitWarning
- UniversalExternalSet
- UnknownSymbolicChar
- UnresolvedCall
- Untyped
- ValueDeserializer
- ValueDomain
- ValueEnvironment
- ValueExpression
- ValueOracle
- ValueSerializer
- Variable
- VariableLift
- VariableRef
- VariableTableEntry
- VersionInfo
- VisitOnceFIFOWorkingSet
- VisitOnceLIFOWorkingSet
- VisitOnceWorkingSet
- VoidType
- Warning
- WarningWithLocation
- WorkingSet
- WorstCasePolicy