- AllocationSite
- AllocationSites
- AvailableExpressions
- CallGraphBasedAnalysis
- CartesianProduct
- CFGResults
- CHACallGraph
- ConstantPropagation
- ContextBasedAnalysis
- ContextInsensitiveToken
- ContextSensitivityToken
- FieldSensitivePointBasedHeap
- FixpointResults
- InferredTypes
- IntegerConstantPropagation
- Interval
- LiSA
- LiSAConfiguration
- LiSAFactory
- LiSAFactory.ConfigurableComponent
- LiSARunner
- ModularWorstCaseAnalysis
- MonolithicHeap
- NonInterference
- Parity
- PointBasedHeap
- ReachingDefinitions
- RecursionFreeToken
- RTACallGraph
- Sign
- SingleScopeToken
- StaticTypes
- TypeBasedHeap
- ValueCartesianProduct