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

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 java.lang.IllegalArgumentException

Throws:

java.lang.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()