joeq.Compiler.Analysis.IPSSA.Apps
Classes 
AssertionAnalysis
DeclarationDepth
FindBadStores
FindCollectionImplementations
FindOwnership
ReachabilityTracerApp
ReachabilityTracerApp.IPSSAReachabilityTracerApp
ReachabilityTracerApp.PAReachabilityTracerApp