Package com.ibm.wala.cfg.exc.inter

Class InterprocNullPointerAnalysis

java.lang.Object

com.ibm.wala.cfg.exc.inter.InterprocNullPointerAnalysis

public final class InterprocNullPointerAnalysis
extends Object

Interprocedural NullPointer Analysis.

The interprocedural NullPointer analysis builds an implicit ICFG, visits all CFGs in reverse invocation order recursively and propagates all parameter states.

1st run: collect and propagate all parameters on ENTRY nodes. 2nd run: collect the results on the ENTRY nodes.

This class has been developed as part of a student project "Studienarbeit" by Markus Herhoffer. It has been adapted and integrated into the WALA project by Juergen Graf.

Author:

Markus Herhoffer <markus.herhoffer@student.kit.edu>, Juergen Graf <graf@kit.edu>

Method Summary

Modifier and Type	Method	Description
static InterprocNullPointerAnalysis	compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions)
InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	getResult()	Returns the result of the interprocedural analysis.

Methods inherited from class java.lang.Object

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

Method Details

compute

public static InterprocNullPointerAnalysis compute(TypeReference[] ignoredExceptions,
 CallGraph cg,
 MethodState defaultMethodState,
 MonitorUtil.IProgressMonitor progress,
 boolean optHasExceptions)
                                            throws WalaException,
GraphIntegrity.UnsoundGraphException,
CancelException

Throws:

WalaException

GraphIntegrity.UnsoundGraphException

CancelException

getResult

public InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> getResult()

Returns the result of the interprocedural analysis.

Returns:

Result of the interprocedural analysis.