All Classes

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