Class InterprocNullPointerAnalysis
java.lang.Object
com.ibm.wala.cfg.exc.inter.InterprocNullPointerAnalysis
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 TypeMethodDescriptionstatic InterprocNullPointerAnalysis
compute
(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) Returns the result of the interprocedural analysis.
-
Method Details
-
compute
public static InterprocNullPointerAnalysis compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException -
getResult
Returns the result of the interprocedural analysis.- Returns:
- Result of the interprocedural analysis.
-