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.

Author:

Juergen Graf <graf@kit.edu>

Field Summary

Fields

Modifier and Type	Field	Description
static final TypeReference[]	DEFAULT_IGNORE_EXCEPTIONS

Method Summary

Modifier and Type	Method	Description
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(CallGraph cg, MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	createIntraproceduralExplodedCFGAnalysis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	createIntraproceduralSSACFGAnalyis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

DEFAULT_IGNORE_EXCEPTIONS

public static final TypeReference[] 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

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

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

Throws:

WalaException

GraphIntegrity.UnsoundGraphException

CancelException