Class AnalysisUtil
java.lang.Object
com.ibm.wala.cfg.exc.inter.AnalysisUtil
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 TypeMethodDescriptionstatic Set
<IExplodedBasicBlock> 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
(CallGraph CG, CGNode node) Checks if a node is FakeRoot
-
Method Details
-
isFakeRoot
-
getParameterNumbers
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
-