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>