Class InitializedBitVectorSolver

java.lang.Object

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

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

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

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

com.ibm.wala.analysis.exceptionanalysis.InitializedBitVectorSolver

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<BitVectorVariable>, VerboseAction

public class InitializedBitVectorSolver
extends BitVectorSolver<CGNode>

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
InitializedBitVectorSolver(IKilldallFramework<CGNode, BitVectorVariable> problem)

Method Summary

Modifier and Type	Method	Description
protected BitVectorVariable	makeEdgeVariable(CGNode src, CGNode dst)
protected BitVectorVariable	makeNodeVariable(CGNode n, boolean IN)

Methods inherited from class BitVectorSolver

makeStmtRHS

Methods inherited from class DataflowSolver

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

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, 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

InitializedBitVectorSolver

public InitializedBitVectorSolver(IKilldallFramework<CGNode, BitVectorVariable> problem)

Method Details

makeNodeVariable

protected BitVectorVariable makeNodeVariable(CGNode n,
 boolean IN)

Overrides:

makeNodeVariable in class BitVectorSolver<CGNode>

Parameters:

n - a node

Returns:

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

makeEdgeVariable

protected BitVectorVariable makeEdgeVariable(CGNode src,
 CGNode dst)

Overrides:

makeEdgeVariable in class BitVectorSolver<CGNode>