public class InitializedBitVectorSolver extends com.ibm.wala.dataflow.graph.BitVectorSolver<CGNode>
| Constructor and Description |
|---|
InitializedBitVectorSolver(com.ibm.wala.dataflow.graph.IKilldallFramework<CGNode,com.ibm.wala.fixpoint.BitVectorVariable> problem) |
| 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) |
buildEquations, getEdge, getEdge, getIn, getOut, getProblem, initializeVariables, initializeWorkListgetFixedPointSystemaddAllStatementsToWorkList, 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, toStringpublic InitializedBitVectorSolver(com.ibm.wala.dataflow.graph.IKilldallFramework<CGNode,com.ibm.wala.fixpoint.BitVectorVariable> problem)