Package joeq.Compiler.Analysis.IPSSA.Apps

Class Summary
AssertionAnalysis  
DeclarationDepth  
FindBadStores  
FindCollectionImplementations  
FindOwnership  
ReachabilityTracerApp  
ReachabilityTracerApp.IPSSAReachabilityTracerApp This is one that works on IPSSA.
ReachabilityTracerApp.PAReachabilityTracerApp This one uses PA results directly.
 



Copyright © 2001-2008 John Whaley. All Rights Reserved.