| 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.
|
| Modifier and Type | Method and Description |
|---|---|
ShrikeCFG.BasicBlock |
AbstractIntStackMachine.MachineState.getBasicBlock() |
protected ShrikeCFG.BasicBlock |
AbstractIntStackMachine.BasicStackFlowProvider.getCurrentBlock() |
protected ShrikeCFG.BasicBlock |
AbstractIntStackMachine.BasicStackFlowProvider.getCurrentSuccessor() |
| 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.
|
| Constructor and Description |
|---|
AbstractIntStackMachine.MachineState(ShrikeCFG.BasicBlock bb) |
| 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.
|
Copyright © 2015. All rights reserved.