Package com.ibm.wala.cfg.exc

Interface Summary

Interface	Description
ExceptionPruningAnalysis<I,T extends IBasicBlock<I>>	This abstract class is used as interface for analysis that remove impossible control flow from a CFG.
InterprocAnalysisResult<I,T extends IBasicBlock<I>>	Interface to retrieve the result of the interprocedural analysis.

Class Summary

Class	Description
NullPointerAnalysis	Tries to detect impossible (or always appearing) NullPointerExceptions and removes impossible control flow from the CFG.