Class NullPointerAnalysis
java.lang.Object
com.ibm.wala.cfg.exc.NullPointerAnalysis
Tries to detect impossible (or always appearing) NullPointerExceptions and removes impossible
control flow from the CFG.
- Author:
- Juergen Graf <graf@kit.edu>
-
Field Summary
-
Method Summary
Modifier and TypeMethodDescriptioncomputeInterprocAnalysis
(CallGraph cg, MonitorUtil.IProgressMonitor progress) computeInterprocAnalysis
(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress) computeInterprocAnalysis
(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) createIntraproceduralExplodedCFGAnalysis
(TypeReference[] ignoredExceptions, IR ir) createIntraproceduralExplodedCFGAnalysis
(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState) createIntraproceduralExplodedCFGAnalysis
(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException) createIntraproceduralSSACFGAnalyis
(TypeReference[] ignoredExceptions, IR ir) createIntraproceduralSSACFGAnalyis
(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
-
Field Details
-
DEFAULT_IGNORE_EXCEPTIONS
-
-
Method Details
-
createIntraproceduralExplodedCFGAnalysis
public static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> createIntraproceduralExplodedCFGAnalysis(IR ir) -
createIntraproceduralExplodedCFGAnalysis
public static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir) -
createIntraproceduralExplodedCFGAnalysis
public static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState) -
createIntraproceduralExplodedCFGAnalysis
public static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException) -
createIntraproceduralSSACFGAnalyis
public static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock> createIntraproceduralSSACFGAnalyis(IR ir) -
createIntraproceduralSSACFGAnalyis
public static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock> createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir) -
createIntraproceduralSSACFGAnalyis
public static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock> createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState) -
computeInterprocAnalysis
public static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> computeInterprocAnalysis(CallGraph cg, MonitorUtil.IProgressMonitor progress) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException -
computeInterprocAnalysis
public static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException -
computeInterprocAnalysis
public static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException
-