com.ibm.wala.dataflow.graph
Class BitVectorSolver<T>

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver
      com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver
          com.ibm.wala.dataflow.graph.DataflowSolver<T>
              com.ibm.wala.dataflow.graph.BitVectorSolver<T>

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver, VerboseAction

public class BitVectorSolver<T>
extends DataflowSolver<T>

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

BitVectorSolver(IKilldallFramework<T> problem)

Method Summary

protected IVariable	makeEdgeVariable(T src, T dst)
protected IVariable	makeNodeVariable(T n, boolean IN)

Methods inherited from class com.ibm.wala.dataflow.graph.DataflowSolver

buildEquations, getEdge, getEdge, getIn, getOut, getProblem, initializeVariables, initializeWorkList

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, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BitVectorSolver

public BitVectorSolver(IKilldallFramework<T> problem)

Parameters:

problem -

Method Detail

makeNodeVariable

protected IVariable makeNodeVariable(T n,
                                     boolean IN)

Specified by:

makeNodeVariable in class DataflowSolver<T>

Parameters:

n - a node

Returns:

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

makeEdgeVariable

protected IVariable makeEdgeVariable(T src,
                                     T dst)

Specified by:

makeEdgeVariable in class DataflowSolver<T>