com.ibm.wala.analysis.exceptionanalysis

Class InitializedBitVectorSolver

java.lang.Object

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

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

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

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

com.ibm.wala.analysis.exceptionanalysis.InitializedBitVectorSolver

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<com.ibm.wala.fixpoint.BitVectorVariable>, com.ibm.wala.util.debug.VerboseAction

public class InitializedBitVectorSolver
extends com.ibm.wala.dataflow.graph.BitVectorSolver<CGNode>

Nested Class Summary

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

com.ibm.wala.fixedpoint.impl.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 and Description
InitializedBitVectorSolver(com.ibm.wala.dataflow.graph.IKilldallFramework<CGNode,com.ibm.wala.fixpoint.BitVectorVariable> problem)

Method Summary

Modifier and Type	Method and Description
protected com.ibm.wala.fixpoint.BitVectorVariable	makeEdgeVariable(CGNode src, CGNode dst)
protected com.ibm.wala.fixpoint.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 Detail

InitializedBitVectorSolver

public InitializedBitVectorSolver(com.ibm.wala.dataflow.graph.IKilldallFramework<CGNode,com.ibm.wala.fixpoint.BitVectorVariable> problem)

Method Detail

makeNodeVariable

protected com.ibm.wala.fixpoint.BitVectorVariable makeNodeVariable(CGNode n,
                                                                   boolean IN)

Overrides:

makeNodeVariable in class com.ibm.wala.dataflow.graph.BitVectorSolver<CGNode>

makeEdgeVariable

protected com.ibm.wala.fixpoint.BitVectorVariable makeEdgeVariable(CGNode src,
                                                                   CGNode dst)

Overrides:

makeEdgeVariable in class com.ibm.wala.dataflow.graph.BitVectorSolver<CGNode>