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

All Implemented Interfaces:: FixedPointConstants, IFixedPointSolver<BitVectorVariable>, VerboseAction

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>

Class BitVectorSolver<T>

Nested Class Summary

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

Field Summary

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

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

Constructor Summary

Method Summary

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

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

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

Methods inherited from class java.lang.Object

Constructor Details

BitVectorSolver

Method Details

makeNodeVariable

makeEdgeVariable

makeStmtRHS