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.

Author:

Juergen Graf

Method Summary

Methods

Modifier and Type	Method and Description
NullPointerState	getState(T block)

Methods inherited from class java.lang.Object

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

Method Detail

getState

public NullPointerState getState(T block)