com.ibm.wala.ssa

Class SSABuilder

java.lang.Object

com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine

com.ibm.wala.ssa.SSABuilder

All Implemented Interfaces:

com.ibm.wala.fixpoint.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 com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine

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

Field Summary

Fields inherited from class com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine

BOTTOM, IGNORE, OPTIMISTIC, TOP, UNANALYZED

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

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

Method Summary

Methods

Modifier and Type	Method and 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 com.ibm.wala.analysis.stackMachine.AbstractIntStackMachine

getEntryState, getIn, init, solve

Methods inherited from class java.lang.Object

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

Method Detail

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()