Uses of Class
com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine.MachineState

Packages that use AbstractIntStackMachine.MachineState

Package	Description
com.ibm.wala.analysis.stackMachine	This package provides a layer to perform abstract interpretation over the JVM stack machine.

Uses of AbstractIntStackMachine.MachineState in com.ibm.wala.analysis.stackMachine

Fields in com.ibm.wala.analysis.stackMachine declared as AbstractIntStackMachine.MachineState

Modifier and Type	Field and Description
protected AbstractIntStackMachine.MachineState	AbstractIntStackMachine.BasicStackFlowProvider.workingState

Methods in com.ibm.wala.analysis.stackMachine that return AbstractIntStackMachine.MachineState

Modifier and Type	Method and Description
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.MachineState.duplicate() I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass
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.getEntryState()
AbstractIntStackMachine.MachineState	AbstractIntStackMachine.getIn(ShrikeCFG.BasicBlock bb)

Methods in com.ibm.wala.analysis.stackMachine with parameters of type AbstractIntStackMachine.MachineState

Modifier and Type	Method and Description
void	AbstractIntStackMachine.MachineState.copyState(AbstractIntStackMachine.MachineState other)
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)