Package com.ibm.wala.cfg.exc
package com.ibm.wala.cfg.exc
-
ClassDescriptionExceptionPruningAnalysis<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.Tries to detect impossible (or always appearing) NullPointerExceptions and removes impossible control flow from the CFG.