Package com.ibm.wala.cfg.exc
Class NullPointerAnalysis
- java.lang.Object
-
- com.ibm.wala.cfg.exc.NullPointerAnalysis
-
public final class NullPointerAnalysis extends Object
Tries to detect impossible (or always appearing) NullPointerExceptions and removes impossible control flow from the CFG.
-
-
Field Summary
Fields Modifier and Type Field Description static TypeReference[]
DEFAULT_IGNORE_EXCEPTIONS
-
Method Summary
-
-
-
Field Detail
-
DEFAULT_IGNORE_EXCEPTIONS
public static final TypeReference[] DEFAULT_IGNORE_EXCEPTIONS
-
-
Method Detail
-
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
-
-