com.ibm.wala.analysis.stackMachine

Interface AbstractIntStackMachine.FlowProvider

All Known Implementing Classes:

AbstractIntStackMachine.BasicStackFlowProvider

Enclosing class:

AbstractIntStackMachine

public static interface AbstractIntStackMachine.FlowProvider

Interface which defines a flow function for a basic block

Method Summary

Methods

Modifier and Type	Method and Description
AbstractIntStackMachine.MachineState	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	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.
boolean	needsEdgeFlow()
boolean	needsNodeFlow()

Method Detail

needsNodeFlow

boolean needsNodeFlow()

needsEdgeFlow

boolean needsEdgeFlow()

flow

AbstractIntStackMachine.MachineState 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.

flow

AbstractIntStackMachine.MachineState 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.