Package com.ibm.wala.dataflow.graph
Class BitVectorSolver<T>
- java.lang.Object
-
- com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T>
-
- com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<V>
-
- com.ibm.wala.dataflow.graph.DataflowSolver<T,BitVectorVariable>
-
- com.ibm.wala.dataflow.graph.BitVectorSolver<T>
-
- All Implemented Interfaces:
FixedPointConstants
,IFixedPointSolver<BitVectorVariable>
,VerboseAction
public class BitVectorSolver<T> extends DataflowSolver<T,BitVectorVariable>
ADataflowSolver
specialized forBitVectorVariable
s
-
-
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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Constructor Detail
-
BitVectorSolver
public BitVectorSolver(IKilldallFramework<T,BitVectorVariable> problem)
-
-
Method Detail
-
makeNodeVariable
protected BitVectorVariable makeNodeVariable(T n, boolean IN)
- Specified by:
makeNodeVariable
in classDataflowSolver<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 classDataflowSolver<T,BitVectorVariable>
-
makeStmtRHS
protected BitVectorVariable[] makeStmtRHS(int size)
- Specified by:
makeStmtRHS
in classAbstractFixedPointSolver<BitVectorVariable>
-
-