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.

Author:

Juergen Graf <graf@kit.edu>

Method Summary

Modifier and Type	Method	Description
NullPointerState	getState(T block)

Methods inherited from class java.lang.Object

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

Method Details

getState

public NullPointerState getState(T block)