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 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
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 com.ibm.wala.dataflow.graph.BitVectorSolver

makeStmtRHS

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

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>