com.ibm.wala.dataflow.ssa
Class SSAInference

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
      com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver
          com.ibm.wala.dataflow.ssa.SSAInference

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver, VerboseAction

Direct Known Subclasses:

TypeInference

public abstract class SSAInference
extends DefaultFixedPointSolver

This class performs intraprocedural propagation over an SSA form

Nested Class Summary

static interface	SSAInference.OperatorFactory
static interface	SSAInference.VariableFactory

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

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

Constructor Summary

SSAInference()

Method Summary

protected IVariable	getVariable(int valueNumber)
protected void	init(IR ir, SSAInference.VariableFactory varFactory, SSAInference.OperatorFactory opFactory) initializer for SSA Inference equations.
java.lang.String	toString() Return a string representation of the system

Methods inherited from class com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver

getFixedPointSystem

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, initializeVariables, initializeWorkList, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAInference

public SSAInference()

Method Detail

init

protected void init(IR ir,
                    SSAInference.VariableFactory varFactory,
                    SSAInference.OperatorFactory opFactory)

initializer for SSA Inference equations.

getVariable

protected IVariable getVariable(int valueNumber)

Parameters:

valueNumber -

Returns:

the dataflow variable representing the value number, or null if none found.

toString

public java.lang.String toString()

Return a string representation of the system

Overrides:

toString in class AbstractFixedPointSolver

Returns:

a string representation of the system