Class DataflowSolver<T, V extends IVariable<V>>

java.lang.Object

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<V>

com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<V>

com.ibm.wala.dataflow.graph.DataflowSolver<T,V>

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<V>, VerboseAction

Direct Known Subclasses:

BitVectorSolver, BooleanSolver, NullPointerSolver

public abstract class DataflowSolver<T, V extends IVariable<V>>
extends DefaultFixedPointSolver<V>

Iterative solver for a Killdall dataflow framework

Nested Class Summary

Nested classes/interfaces inherited from class AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

Field Summary

Fields inherited from class AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface FixedPointConstants

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

Constructor Summary

Constructors

Constructor	Description
DataflowSolver(IKilldallFramework<T,V> problem)

Method Summary

Modifier and Type	Method	Description
protected void	buildEquations(boolean toWorkList, boolean eager)
@Nullable V	getEdge(Object key)
V	getEdge(Object src, Object dst)
V	getIn(Object node)
V	getOut(Object node)
IKilldallFramework<T,V>	getProblem()
protected void	initializeVariables()	Initialize all lattice vars in the system.
protected void	initializeWorkList()	Initialize the work list for iteration.j
protected abstract V	makeEdgeVariable(T src, T dst)
protected abstract V	makeNodeVariable(T n, boolean IN)

Methods inherited from class DefaultFixedPointSolver

getFixedPointSystem

Methods inherited from class AbstractFixedPointSolver

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

Methods inherited from class Object

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

Constructor Details

DataflowSolver

public DataflowSolver(IKilldallFramework<T,V> problem)

Method Details

makeNodeVariable

protected abstract V makeNodeVariable(T n,
 boolean IN)

Parameters:

n - a node

Returns:

a fresh variable to represent the lattice value at the IN or OUT of n

makeEdgeVariable

protected abstract V makeEdgeVariable(T src,
 T dst)

initializeVariables

protected void initializeVariables()

Description copied from class: AbstractFixedPointSolver

Initialize all lattice vars in the system.

Specified by:

initializeVariables in class AbstractFixedPointSolver<V extends IVariable<V>>

initializeWorkList

protected void initializeWorkList()

Description copied from class: AbstractFixedPointSolver

Initialize the work list for iteration.j

Specified by:

initializeWorkList in class AbstractFixedPointSolver<V extends IVariable<V>>

getOut

@NullUnmarked
public V getOut(Object node)

getIn

@NullUnmarked
public V getIn(Object node)

getEdge

public @Nullable V getEdge(Object key)

getEdge

public V getEdge(Object src,
 Object dst)

buildEquations

protected void buildEquations(boolean toWorkList,
 boolean eager)

getProblem

public IKilldallFramework<T,V> getProblem()