com.ibm.wala.analysis.nullpointer

Class IntraproceduralNullPointerAnalysis

java.lang.Object

com.ibm.wala.analysis.nullpointer.IntraproceduralNullPointerAnalysis

public class IntraproceduralNullPointerAnalysis
extends Object

Intraprocedural dataflow analysis to detect impossible NullPointerExceptions. This class is basically a copy of IntraprocNullPointerAnalysis, but does only provide the result of the analysis instead of a pruned CFG.

Author:

Stephan Gocht <[email protected]>

Constructor Summary

Constructors

Constructor and Description
IntraproceduralNullPointerAnalysis(IR ir)

Method Summary

Modifier and Type	Method and Description
NullPointerState.State	nullPointerExceptionThrowState(SSAInstruction instruction)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IntraproceduralNullPointerAnalysis

public IntraproceduralNullPointerAnalysis(IR ir)

Method Detail

nullPointerExceptionThrowState

public NullPointerState.State nullPointerExceptionThrowState(SSAInstruction instruction)