com.ibm.wala.cfg.exc.inter

Class AnalysisUtil

java.lang.Object

com.ibm.wala.cfg.exc.inter.AnalysisUtil

public final class AnalysisUtil
extends Object

Utility class for the exception pruning analysis. This class has been developed as part of a student project "Studienarbeit" by Markus Herhoffer. It has been adapted and integrated into the WALA project by Juergen Graf.

Author:

Markus Herhoffer , Juergen Graf

Method Summary

Methods

Modifier and Type	Method and Description
static Set<IExplodedBasicBlock>	extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg) Returns a Set of all blocks that invoke another method.
static int[]	getParameterNumbers(SSAAbstractInvokeInstruction invokeInstruction) Returns an array of int with the parameter's var nums of the invoked method in invokeInstruction.
static boolean	isFakeRoot(CGNode node) Checks if a node is FakeRoot

Methods inherited from class java.lang.Object

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

Method Detail

isFakeRoot

public static boolean isFakeRoot(CGNode node)

Checks if a node is FakeRoot

Parameters:

node - the node to check

Returns:

true if node is FakeRoot

getParameterNumbers

public static int[] getParameterNumbers(SSAAbstractInvokeInstruction invokeInstruction)

Returns an array of int with the parameter's var nums of the invoked method in invokeInstruction.

Parameters:

invokeInstruction - The instruction that invokes the method.

Returns:

an array of int with all parameter's var nums including the this pointer.

extractInvokeBlocks

public static Set<IExplodedBasicBlock> extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg)

Returns a Set of all blocks that invoke another method.

Parameters:

cfg - The Control Flow Graph to analyze

Returns:

a Set of all blocks that contain an invoke