public final class AnalysisUtil extends Object
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
|
public static boolean isFakeRoot(CGNode node)
node
- the node to checkpublic static int[] getParameterNumbers(SSAAbstractInvokeInstruction invokeInstruction)
int
with the parameter's var nums of the
invoked method in invokeInstruction
.invokeInstruction
- The instruction that invokes the method.int
with all parameter's var nums
including the this pointer.public static Set<IExplodedBasicBlock> extractInvokeBlocks(ControlFlowGraph<SSAInstruction,IExplodedBasicBlock> cfg)
cfg
- The Control Flow Graph to analyze