Class BitVectorSolver<T>

java.lang.Object

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

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

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

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

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<BitVectorVariable>, VerboseAction

Direct Known Subclasses:

InitializedBitVectorSolver

public class BitVectorSolver<T>
extends DataflowSolver<T,BitVectorVariable>

A DataflowSolver specialized for BitVectorVariables

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

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

Constructors

Constructor	Description
BitVectorSolver(IKilldallFramework<T,BitVectorVariable> problem)

Method Summary

Modifier and Type	Method	Description
protected BitVectorVariable	makeEdgeVariable(T src, T dst)
protected BitVectorVariable	makeNodeVariable(T n, boolean IN)
protected BitVectorVariable[]	makeStmtRHS(int size)

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 Details

BitVectorSolver

public BitVectorSolver(IKilldallFramework<T,BitVectorVariable> problem)

Method Details

makeNodeVariable

protected BitVectorVariable makeNodeVariable(T n,
 boolean IN)

Specified by:

makeNodeVariable in class DataflowSolver<T,BitVectorVariable>

Parameters:

n - a node

Returns:

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

makeEdgeVariable

protected BitVectorVariable makeEdgeVariable(T src,
 T dst)

Specified by:

makeEdgeVariable in class DataflowSolver<T,BitVectorVariable>

makeStmtRHS

protected BitVectorVariable[] makeStmtRHS(int size)

Specified by:

makeStmtRHS in class AbstractFixedPointSolver<BitVectorVariable>