joeq.Compiler.Analysis.IPA

Classes

• ClassInvariantAnalysis
• CollectionFinder
• ExceptionAnalysis
• LoopAnalysis
• ObjectCreationGraph
• ObjectNamingSupport
• PA
• PACallGraph
• PAMethodSummary
• PAProxy
• PAQuery
• PAResultSelector
• PAResults
• ParameterAliasing
• PointerAnalysisResults
• ProgramLocation
• SubtypeHelper