Class SSABuilder

java.lang.Object

com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine

com.ibm.wala.ssa.SSABuilder

All Implemented Interfaces:

FixedPointConstants

public class SSABuilder
extends AbstractIntStackMachine

This class constructs an SSA IR from a backing ShrikeBT instruction stream.

The basic algorithm here is an abstract interpretation over the Java bytecode to determine types of stack locations and local variables. As a side effect, the flow functions of the abstract interpretation emit instructions, eliminating the stack abstraction and moving to a register-transfer language in SSA form.

Nested Class Summary

Nested classes/interfaces inherited from class AbstractIntStackMachine

AbstractIntStackMachine.BasicStackFlowProvider, AbstractIntStackMachine.FlowProvider, AbstractIntStackMachine.MachineState, AbstractIntStackMachine.Meeter

Field Summary

Fields inherited from class AbstractIntStackMachine

BOTTOM, IGNORE, OPTIMISTIC, TOP, UNANALYZED

Fields inherited from interface FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Method Summary

Modifier and Type	Method	Description
void	build()	Build the IR
ShrikeIndirectionData	getIndirectionData()
com.ibm.wala.ssa.SSABuilder.SSA2LocalMap	getLocalMap()
protected void	initializeVariables()	Convenience method ...
static SSABuilder	make(IBytecodeMethod<?> method, SSACFG cfg, ShrikeCFG scfg, SSAInstruction[] instructions, SymbolTable symbolTable, boolean buildLocalMap, SSAPiNodePolicy piNodePolicy)

Methods inherited from class AbstractIntStackMachine

getEntryState, getIn, init, solve

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

make

public static SSABuilder make(IBytecodeMethod<?> method,
 SSACFG cfg,
 ShrikeCFG scfg,
 SSAInstruction[] instructions,
 SymbolTable symbolTable,
 boolean buildLocalMap,
 SSAPiNodePolicy piNodePolicy)
                       throws IllegalArgumentException

Throws:

IllegalArgumentException

initializeVariables

protected void initializeVariables()

Description copied from class: AbstractIntStackMachine

Convenience method ... a little ugly .. perhaps delete later.

Overrides:

initializeVariables in class AbstractIntStackMachine

build

public void build()

Build the IR

getLocalMap

public com.ibm.wala.ssa.SSABuilder.SSA2LocalMap getLocalMap()

getIndirectionData

public ShrikeIndirectionData getIndirectionData()