Package com.ibm.wala.cfg.exc.intra
Class IntraprocNullPointerAnalysis<T extends ISSABasicBlock>
- java.lang.Object
-
- com.ibm.wala.cfg.exc.intra.IntraprocNullPointerAnalysis<T>
-
public class IntraprocNullPointerAnalysis<T extends ISSABasicBlock> extends Object
Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.
-
-
Method Detail
-
getState
public NullPointerState getState(T block)
-
-