All Classes
- AllocationSite
- AllocationSiteBasedAnalysis
- AllocationSites
- AvailableExpressions
- BackwardModularWorstCaseAnalysis
- BaseCasesFinder
- BaseTaint
- Branching
- Brick
- Bricks
- CallGraphBasedAnalysis
- CartesianProduct
- CHACallGraph
- CharInclusion
- ConstantPropagation
- ContainsCharProvider
- ContextBasedAnalysis
- ContextInsensitiveToken
- ContextSensitivityToken
- DefaultConfiguration
- ExecutionTrace
- FieldSensitivePointBasedHeap
- FSA
- FullStackToken
- HeapAllocationSite
- IndexFinder
- InferredTypes
- IntegerConstantPropagation
- Interval
- KDepthToken
- LastCallToken
- LiSAFactory
- LiSAFactory.ConfigurableComponent
- Liveness
- LoopIteration
- LoopSummary
- ModularWorstCaseAnalysis
- MonolithicHeap
- MonolithicHeap.Rewriter
- NonInterference
- NonRedundantPowerset
- NonRedundantPowersetOfBaseNonRelationalValueDomain
- NonRedundantPowersetOfInterval
- NonRelationalValueCartesianProduct
- Parity
- Pentagon
- PointBasedHeap
- Prefix
- ReachingDefinitions
- Recursion
- RecursionSolver
- RegexAutomaton
- RTACallGraph
- Sign
- SimpleAbstractState
- SimpleAutomaton
- Stability
- StackAllocationSite
- StaticTypes
- StringConstantPropagation
- StringReplacer
- StringSearcher
- StringSymbol
- SubstringDomain
- SubstringDomainWithConstants
- Suffix
- Taint
- Tarsis
- ThreeLevelsTaint
- TracePartitioning
- TraceToken
- Trend
- TypeBasedHeap
- TypeBasedHeap.Rewriter
- UpperBounds
- ValueCartesianProduct
- ValueNonRedundantSet