Package com.ibm.wala.analysis.exceptionanalysis

Class ExceptionAnalysis

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis

public class ExceptionAnalysis
extends 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.

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	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	Description
boolean	catchesException(CGNode node, ISSABasicBlock throwBlock, ISSABasicBlock catchBlock)
Set<TypeReference>	getCGNodeExceptions(CGNode node)
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(MonitorUtil.IProgressMonitor monitor)

Methods inherited from class java.lang.Object

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

Constructor Details

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 Details

solve

public void solve()

solve

public void solve(MonitorUtil.IProgressMonitor monitor)
           throws CancelException

Throws:

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 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 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