Uses of Class
com.ibm.wala.cfg.ShrikeCFG

Packages that use ShrikeCFG

Package	Description
com.ibm.wala.analysis.stackMachine	This package provides a layer to perform abstract interpretation over the JVM stack machine.
com.ibm.wala.cfg	This package provides control-flow graph utilities.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Uses of ShrikeCFG in com.ibm.wala.analysis.stackMachine

Constructors in com.ibm.wala.analysis.stackMachine with parameters of type ShrikeCFG

Constructor and Description
AbstractIntStackMachine.BasicStackFlowProvider(ShrikeCFG cfg) Only subclasses can instantiate
AbstractIntStackMachine(ShrikeCFG G)

Uses of ShrikeCFG in com.ibm.wala.cfg

Methods in com.ibm.wala.cfg that return ShrikeCFG

Modifier and Type	Method and Description
static ShrikeCFG	ShrikeCFG.make(IBytecodeMethod m)

Uses of ShrikeCFG in com.ibm.wala.ssa

Methods in com.ibm.wala.ssa with parameters of type ShrikeCFG

Modifier and Type	Method and Description
static SSABuilder	SSABuilder.make(IBytecodeMethod method, SSACFG cfg, ShrikeCFG scfg, SSAInstruction[] instructions, SymbolTable symbolTable, boolean buildLocalMap, SSAPiNodePolicy piNodePolicy)