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.
-
-
Method Summary
All Methods Static Methods Concrete Methods 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 ofint
with the parameter's var nums of the invoked method ininvokeInstruction
.static boolean
isFakeRoot(CGNode node)
Checks if a node is FakeRoot
-
-
-
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 ofint
with the parameter's var nums of the invoked method ininvokeInstruction
.- 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
-
-