Package 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 <markus.herhoffer@student.kit.edu>, Juergen Graf <graf@kit.edu>

Method Summary

Modifier and Type	Method	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(CallGraph CG, 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 Details

isFakeRoot

public static boolean isFakeRoot(CallGraph CG,
 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