heros.solver

Class IFDSSolver<N,D,M,I extends InterproceduralCFG<N,M>>

java.lang.Object

heros.solver.IDESolver<N,D,M,IFDSSolver.BinaryDomain,I>

heros.solver.IFDSSolver<N,D,M,I>

Type Parameters:

N - The type of nodes in the interprocedural control-flow graph. Typically Unit.

D - The type of data-flow facts to be computed by the tabulation problem.

M - The type of objects used to represent methods. Typically SootMethod.

I - The type of inter-procedural control-flow graph being used.

Direct Known Subclasses:

JimpleIFDSSolver, JoinHandlingNodesIFDSSolver, PathTrackingIFDSSolver

public class IFDSSolver<N,D,M,I extends InterproceduralCFG<N,M>>
extends IDESolver<N,D,M,IFDSSolver.BinaryDomain,I>

A solver for an IFDSTabulationProblem. This solver in effect uses the IDESolver to solve the problem, as any IFDS problem can be intepreted as a special case of an IDE problem. See Section 5.4.1 of the SRH96 paper. In effect, the IFDS problem is solved by solving an IDE problem in which the environments (D to N mappings) represent the set's characteristic function.

See Also:

IFDSTabulationProblem

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	IFDSSolver.BinaryDomain

Field Summary

Fields inherited from class heros.solver.IDESolver

allTop, computedInterPEdges, computedIntraPEdges, computeValues, DEBUG, DEFAULT_CACHE_BUILDER, durationFlowFunctionApplication, durationFlowFunctionConstruction, edgeFunctions, efCache, endSummary, executor, ffCache, flowFunctionApplicationCount, flowFunctionConstructionCount, flowFunctions, followReturnsPastSeeds, icfg, incoming, initialSeeds, jumpFn, logger, numThreads, propagationCount, unbalancedRetSites, val, valueLattice, zeroValue

Constructor Summary

Constructors

Constructor and Description
IFDSSolver(IFDSTabulationProblem<N,D,M,I> ifdsProblem) Creates a solver for the given problem.

Method Summary

Modifier and Type	Method and Description
java.util.Set<D>	ifdsResultsAt(N statement) Returns the set of facts that hold at the given statement.

Methods inherited from class heros.solver.IDESolver

addIncoming, awaitCompletionComputeValuesAndShutdown, computeCallFlowFunction, computeCallToReturnFlowFunction, computeNormalFlowFunction, computeReturnFlowFunction, endSummary, getDebugName, getExecutor, incoming, joinValueAt, printStats, processExit, propagate, propagateUnbalancedReturnFlow, restoreContextOnReturnedFact, resultAt, resultsAt, scheduleEdgeProcessing, solve, submitInitialSeeds

Methods inherited from class java.lang.Object

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

Constructor Detail

IFDSSolver

public IFDSSolver(IFDSTabulationProblem<N,D,M,I> ifdsProblem)

Creates a solver for the given problem. The solver must then be started by calling IDESolver.solve().

Method Detail

ifdsResultsAt

public java.util.Set<D> ifdsResultsAt(N statement)

Returns the set of facts that hold at the given statement.