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.