com.ibm.wala.dataflow.IFDS

Class PartiallyBalancedTabulationSolver<T,P,F>

java.lang.Object

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

com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationSolver<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

Direct Known Subclasses:

BoundedPartiallyBalancedSolver

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

Utilities for dealing with tabulation with partially balanced parentheses.

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 and Description
protected	PartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Method Summary

Methods

Modifier and Type	Method and Description
void	addSeed(PathEdge<T> seed) Restart tabulation from a particular path edge.
static <T,P,F> PartiallyBalancedTabulationSolver<T,P,F>	createPartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
protected boolean	propagate(T s_p, int i, T n, int j) Propagate the fact -> has arisen as a path edge.

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

PartiallyBalancedTabulationSolver

protected PartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p,
                                 com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Method Detail

createPartiallyBalancedTabulationSolver

public static <T,P,F> PartiallyBalancedTabulationSolver<T,P,F> createPartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p,
                                                                                       com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

propagate

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

Description copied from class: TabulationSolver

Propagate the fact -> has arisen as a path edge. Returns true iff the path edge was not previously observed.

Overrides:

propagate in class TabulationSolver<T,P,F>

Parameters:

s_p - entry block

i - dataflow fact on entry

n - reached block

j - dataflow fact reached

addSeed

public void addSeed(PathEdge<T> seed)

Description copied from class: TabulationSolver

Restart tabulation from a particular path edge. Use with care.

Overrides:

addSeed in class TabulationSolver<T,P,F>