heros.solver

Class JoinHandlingNodesIFDSSolver<N,D extends JoinHandlingNode<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>

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

public class JoinHandlingNodesIFDSSolver<N,D extends JoinHandlingNode<D>,M,I extends InterproceduralCFG<N,M>>
extends IFDSSolver<N,D,M,I>

An IFDSSolver that tracks paths for reporting. To do so, it requires that data-flow abstractions implement the LinkedNode interface. The solver implements a cache of data-flow facts for each statement and source value. If for the same statement and source value the same target value is seen again (as determined through a cache hit), then the solver propagates the cached value but at the same time links both target values with one another.

Nested Class Summary

Nested classes/interfaces inherited from class heros.solver.IFDSSolver

IFDSSolver.BinaryDomain

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<heros.solver.JoinHandlingNodesIFDSSolver.CacheEntry,JoinHandlingNode<D>>	cache

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
JoinHandlingNodesIFDSSolver(IFDSTabulationProblem<N,D,M,I> ifdsProblem)

Method Summary

Modifier and Type	Method and Description
protected void	propagate(D sourceVal, N target, D targetVal, EdgeFunction<IFDSSolver.BinaryDomain> f, N relatedCallSite, boolean isUnbalancedReturn) Propagates the flow further down the exploded super graph, merging any edge function that might already have been computed for targetVal at target.

Methods inherited from class heros.solver.IFDSSolver

ifdsResultsAt

Methods inherited from class heros.solver.IDESolver

addIncoming, awaitCompletionComputeValuesAndShutdown, computeCallFlowFunction, computeCallToReturnFlowFunction, computeNormalFlowFunction, computeReturnFlowFunction, endSummary, getDebugName, getExecutor, incoming, joinValueAt, printStats, processExit, 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

Field Detail

cache

protected final java.util.Map<heros.solver.JoinHandlingNodesIFDSSolver.CacheEntry,JoinHandlingNode<D extends JoinHandlingNode<D>>> cache

Constructor Detail

JoinHandlingNodesIFDSSolver

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

Method Detail

propagate

protected void propagate(D sourceVal,
                         N target,
                         D targetVal,
                         EdgeFunction<IFDSSolver.BinaryDomain> f,
                         N relatedCallSite,
                         boolean isUnbalancedReturn)

Description copied from class: IDESolver

Propagates the flow further down the exploded super graph, merging any edge function that might already have been computed for targetVal at target.

Overrides:

propagate in class IDESolver<N,D extends JoinHandlingNode<D>,M,IFDSSolver.BinaryDomain,I extends InterproceduralCFG<N,M>>

Parameters:

sourceVal - the source value of the propagated summary edge

target - the target statement

targetVal - the target value at the target statement

f - the new edge function computed from (s0,sourceVal) to (target,targetVal)

relatedCallSite - for call and return flows the related call statement, null otherwise (this value is not used within this implementation but may be useful for subclasses of IDESolver)

isUnbalancedReturn - true if this edge is propagating an unbalanced return (this value is not used within this implementation but may be useful for subclasses of IDESolver)