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.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods 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.
-
-
-
Method Detail
-
compute
public static InterprocNullPointerAnalysis compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException
-
getResult
public InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> getResult()
Returns the result of the interprocedural analysis.- Returns:
- Result of the interprocedural analysis.
-
-