Package com.ibm.wala.dataflow.IFDS

Class BoundedPartiallyBalancedSolver<T,P,F>

java.lang.Object

com.ibm.wala.dataflow.IFDS.TabulationSolver<T,P,F>

com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationSolver<T,P,F>

com.ibm.wala.dataflow.IFDS.BoundedPartiallyBalancedSolver<T,P,F>

Type Parameters:

T - type of node in the supergraph

P - type of a procedure (like a box in an RSM)

F - type of factoids propagated when solving this problem

public class BoundedPartiallyBalancedSolver<T,P,F>
extends PartiallyBalancedTabulationSolver<T,P,F>

A TabulationSolver that gives up after a finite bound.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

TabulationSolver.Result, TabulationSolver.Worklist

Field Summary

Fields inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

DEBUG_LEVEL, flowFunctionMap, PERIODIC_WIPE_SOFT_CACHES, progressMonitor, summaryEdges, supergraph, verbose

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BoundedPartiallyBalancedSolver(PartiallyBalancedTabulationProblem<T,P,F> p, int bound, MonitorUtil.IProgressMonitor monitor)

Method Summary

Modifier and Type	Method	Description
static <T, P, F> BoundedPartiallyBalancedSolver<T,P,F>	createdBoundedPartiallyBalancedSolver(PartiallyBalancedTabulationProblem<T,P,F> p, int bound, MonitorUtil.IProgressMonitor monitor)
int	getNumSteps()
protected boolean	propagate(T s_p, int i, T n, int j)	Propagate the fact <s_p,i> -> <n, j> has arisen as a path edge.
void	resetBound()

Methods inherited from class com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationSolver

addSeed, createPartiallyBalancedTabulationSolver, newUnbalancedExplodedReturnEdge

Methods inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

addToWorkList, computeBinaryFlow, computeFlow, computeInverseFlow, findOrCreateCallFlowEdges, findOrCreateLocalPathEdges, findOrCreateLocalSummaryEdges, getCurPathEdge, getCurSummaryEdge, getInversePathEdges, getLocalPathEdges, getProblem, getProgressMonitor, getResult, getSeeds, getSummarySources, getSupergraph, initialize, make, makeWorklist, newCallExplodedEdge, newNormalExplodedEdge, newSummaryEdge, performVerboseAction, popFromWorkList, processCall, processExit, processParticularCallee, recordCall, solve, tendToSoftCaches

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BoundedPartiallyBalancedSolver

protected BoundedPartiallyBalancedSolver(PartiallyBalancedTabulationProblem<T,P,F> p,
 int bound,
 MonitorUtil.IProgressMonitor monitor)

Method Details

createdBoundedPartiallyBalancedSolver

public static <T,
P,
F>
BoundedPartiallyBalancedSolver<T,P,F> createdBoundedPartiallyBalancedSolver(PartiallyBalancedTabulationProblem<T,P,F> p,
 int bound,
 MonitorUtil.IProgressMonitor monitor)

propagate

protected boolean propagate(T s_p,
 int i,
 T n,
 int j)

Description copied from class: TabulationSolver

Propagate the fact <s_p,i> -> <n, j> has arisen as a path edge. Returns <code>true</code> iff the path edge was not previously observed.

Overrides:

propagate in class PartiallyBalancedTabulationSolver<T,P,F>

Parameters:

s_p - entry block

i - dataflow fact on entry

n - reached block

j - dataflow fact reached

getNumSteps

public int getNumSteps()

resetBound

public void resetBound()