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

Field Summary

Fields

Modifier and Type	Field and Description
static TypeReference[]	DEFAULT_IGNORE_EXCEPTIONS

Method Summary

Methods

Modifier and Type	Method and Description
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(CallGraph cg, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock>	computeInterprocAnalysis(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultExceptionMethodState, com.ibm.wala.util.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 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,
                                                                                   com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
                                                                                            throws com.ibm.wala.util.WalaException,
                                                                                                   com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException,
                                                                                                   com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.WalaException

com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException

com.ibm.wala.util.CancelException

computeInterprocAnalysis

public static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> computeInterprocAnalysis(TypeReference[] ignoredExceptions,
                                                                                   CallGraph cg,
                                                                                   MethodState defaultExceptionMethodState,
                                                                                   com.ibm.wala.util.MonitorUtil.IProgressMonitor progress)
                                                                                            throws com.ibm.wala.util.WalaException,
                                                                                                   com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException,
                                                                                                   com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.WalaException

com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException

com.ibm.wala.util.CancelException

computeInterprocAnalysis

public static InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> computeInterprocAnalysis(TypeReference[] ignoredExceptions,
                                                                                   CallGraph cg,
                                                                                   MethodState defaultExceptionMethodState,
                                                                                   com.ibm.wala.util.MonitorUtil.IProgressMonitor progress,
                                                                                   boolean optHasExceptions)
                                                                                            throws com.ibm.wala.util.WalaException,
                                                                                                   com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException,
                                                                                                   com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.WalaException

com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException

com.ibm.wala.util.CancelException