com.ibm.wala.analysis.exceptionanalysis

Class ExceptionAnalysis

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis

public class ExceptionAnalysis
extends java.lang.Object

This class analyzes the exceptional control flow. Use ExceptionAnalysis2EdgeFilter to remove infeasible edges.

In a first step an intraprocedural analysis is performed, to collect the thrown exceptions and collect the exceptions caught, per invoke instruction. The results of the intraprocedural analysis are used for a GenKill data flow analysis on the call graph. (Each node generates intraprocedural thrown exceptions and along invoke edges, caught exceptions are removed.)

Notice: Only exceptions, which are part of the analysis scope are considered.

Constructor Summary

Constructors

Constructor and Description
ExceptionAnalysis(CallGraph callgraph, PointerAnalysis<InstanceKey> pointerAnalysis, ClassHierarchy cha)
ExceptionAnalysis(CallGraph callgraph, PointerAnalysis<InstanceKey> pointerAnalysis, ClassHierarchy cha, InterproceduralExceptionFilter<SSAInstruction> filter)

Method Summary

Modifier and Type	Method and Description
boolean	catchesException(CGNode node, ISSABasicBlock throwBlock, ISSABasicBlock catchBlock)
java.util.Set<TypeReference>	getCGNodeExceptions(CGNode node)
java.util.Set<TypeReference>	getExceptions(CGNode node, SSAInstruction instruction) Returns all exceptions, which may be raised by this instruction.
InterproceduralExceptionFilter<SSAInstruction>	getFilter()
boolean	hasUncaughtExceptions(CGNode node, ISSABasicBlock block)
void	solve()
void	solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionAnalysis

public ExceptionAnalysis(CallGraph callgraph,
                         PointerAnalysis<InstanceKey> pointerAnalysis,
                         ClassHierarchy cha)

ExceptionAnalysis

public ExceptionAnalysis(CallGraph callgraph,
                         PointerAnalysis<InstanceKey> pointerAnalysis,
                         ClassHierarchy cha,
                         InterproceduralExceptionFilter<SSAInstruction> filter)

Parameters:

filter - a filter to include results of other analysis (like ArrayOutOfBoundsAnalysis or IntraproceduralNullPointerAnalysis) or to ignore exceptions completely.

Method Detail

solve

public void solve()

solve

public void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
           throws com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.CancelException

catchesException

public boolean catchesException(CGNode node,
                                ISSABasicBlock throwBlock,
                                ISSABasicBlock catchBlock)

hasUncaughtExceptions

public boolean hasUncaughtExceptions(CGNode node,
                                     ISSABasicBlock block)

Returns:

if the block has uncaught exceptions

getExceptions

public java.util.Set<TypeReference> getExceptions(CGNode node,
                                                  SSAInstruction instruction)

Returns all exceptions, which may be raised by this instruction. This includes exceptions from throw and invoke statements.

Returns:

all exceptions, which may be raised by this instruction

getCGNodeExceptions

public java.util.Set<TypeReference> getCGNodeExceptions(CGNode node)

Returns:

all exceptions, which might be thrown by the method represented through the call graph node.

getFilter

public InterproceduralExceptionFilter<SSAInstruction> getFilter()

Returns:

the used filter