Uses of Interface
com.ibm.wala.cfg.exc.ExceptionPruningAnalysis

Packages that use ExceptionPruningAnalysis

Package	Description
com.ibm.wala.cfg.exc
com.ibm.wala.cfg.exc.intra

Uses of ExceptionPruningAnalysis in com.ibm.wala.cfg.exc

Methods in com.ibm.wala.cfg.exc that return ExceptionPruningAnalysis

Modifier and Type	Method and Description
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock>	NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState, boolean optHasException)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir)
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock>	NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions, IR ir, ParameterState paramState, MethodState mState)
ExceptionPruningAnalysis<I,T>	InterprocAnalysisResult.getResult(CGNode n) Returns the result of the interprocedural analysis for the given call graph node.

Uses of ExceptionPruningAnalysis in com.ibm.wala.cfg.exc.intra

Classes in com.ibm.wala.cfg.exc.intra that implement ExceptionPruningAnalysis

Modifier and Type	Class and Description
class	ExplodedCFGNullPointerAnalysis Intraprocedural null pointer analysis for the exploded control flow graph.
class	SSACFGNullPointerAnalysis