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 <[email protected]>, Juergen Graf <[email protected]>

Method Summary

Modifier and Type	Method and Description
static InterprocNullPointerAnalysis	compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, com.ibm.wala.util.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 Detail

compute

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

Throws:

com.ibm.wala.util.WalaException

com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException

com.ibm.wala.util.CancelException

getResult

public InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> getResult()

Returns the result of the interprocedural analysis.

Returns:

Result of the interprocedural analysis.