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

Packages that use ShrikeCFG.BasicBlock

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.

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

Methods in com.ibm.wala.analysis.stackMachine that return ShrikeCFG.BasicBlock

Modifier and Type	Method and Description
ShrikeCFG.BasicBlock	AbstractIntStackMachine.MachineState.getBasicBlock()
protected ShrikeCFG.BasicBlock	AbstractIntStackMachine.BasicStackFlowProvider.getCurrentBlock()
protected ShrikeCFG.BasicBlock	AbstractIntStackMachine.BasicStackFlowProvider.getCurrentSuccessor()

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

Modifier and Type	Method and Description
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.FlowProvider.flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock basicBlock) Compute the MachineState at the exit of a basic block, given a MachineState at the block's entry.
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.BasicStackFlowProvider.flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock basicBlock)
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.FlowProvider.flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock from, ShrikeCFG.BasicBlock to) Compute the MachineState at the end of an edge, given a MachineState at the edges's entry.
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.BasicStackFlowProvider.flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock from, ShrikeCFG.BasicBlock to)
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.getIn(ShrikeCFG.BasicBlock bb)
int	AbstractIntStackMachine.Meeter.meetLocal(int n, int[] rhs, ShrikeCFG.BasicBlock bb) Return the integer that represents the meet of a particular local at the entry to a basic block.
int	AbstractIntStackMachine.Meeter.meetStack(int slot, int[] rhs, ShrikeCFG.BasicBlock bb) Return the integer that represents the meet of a particular stack slot at the entry to a basic block.
int	AbstractIntStackMachine.Meeter.meetStackAtCatchBlock(ShrikeCFG.BasicBlock bb) Return the integer that represents stack slot 0 after a meet at the entry to a catch block.

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

Constructor and Description
AbstractIntStackMachine.MachineState(ShrikeCFG.BasicBlock bb)

Uses of ShrikeCFG.BasicBlock in com.ibm.wala.cfg

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

Modifier and Type	Method and Description
ShrikeCFG.BasicBlock	ShrikeCFG.getBlockForInstruction(int index) Return an instruction's basic block in the CFG given the index of the instruction in the CFG's instruction array.