Package 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 <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
IntraproceduralNullPointerAnalysis(IR ir)

Method Summary

Modifier and Type	Method	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 Details

IntraproceduralNullPointerAnalysis

public IntraproceduralNullPointerAnalysis(IR ir)

Method Details

nullPointerExceptionThrowState

public NullPointerState.State nullPointerExceptionThrowState(SSAInstruction instruction)