IntraproceduralNullPointerAnalysis (wala 1.6.10-SNAPSHOT API)

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)