heros.solver

Class BiDiIDESolver.SingleDirectionSolver

java.lang.Object

heros.solver.IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I>

heros.solver.BiDiIDESolver.SingleDirectionSolver

Enclosing class:

BiDiIDESolver<N,D,M,V,I extends InterproceduralCFG<N,M>>

protected class BiDiIDESolver.SingleDirectionSolver
extends IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I>

This is a modified IFDS solver that is capable of pausing and unpausing return-flow edges.

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
SingleDirectionSolver(IDETabulationProblem<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I> ifdsProblem, java.lang.String debugName)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getDebugName() Returns a String used to identify the output of this solver in debug mode.
protected CountingThreadPoolExecutor	getExecutor() Factory method for this solver's thread-pool executor.
protected void	propagate(BiDiIDESolver.AbstractionWithSourceStmt sourceVal, N target, BiDiIDESolver.AbstractionWithSourceStmt targetVal, EdgeFunction<V> 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.
protected void	propagateUnbalancedReturnFlow(N retSiteC, BiDiIDESolver.AbstractionWithSourceStmt targetVal, EdgeFunction<V> edgeFunction, N relatedCallSite)
protected BiDiIDESolver.AbstractionWithSourceStmt	restoreContextOnReturnedFact(N callSite, BiDiIDESolver.AbstractionWithSourceStmt d4, BiDiIDESolver.AbstractionWithSourceStmt d5) This method will be called for each incoming edge and can be used to transfer knowledge from the calling edge to the returning edge, without affecting the summary edges at the callee.

Methods inherited from class heros.solver.IDESolver

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

SingleDirectionSolver

public SingleDirectionSolver(IDETabulationProblem<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I> ifdsProblem,
                             java.lang.String debugName)

Method Detail

propagateUnbalancedReturnFlow

protected void propagateUnbalancedReturnFlow(N retSiteC,
                                             BiDiIDESolver.AbstractionWithSourceStmt targetVal,
                                             EdgeFunction<V> edgeFunction,
                                             N relatedCallSite)

Overrides:

propagateUnbalancedReturnFlow in class IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I extends InterproceduralCFG<N,M>>

propagate

protected void propagate(BiDiIDESolver.AbstractionWithSourceStmt sourceVal,
                         N target,
                         BiDiIDESolver.AbstractionWithSourceStmt targetVal,
                         EdgeFunction<V> 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,BiDiIDESolver.AbstractionWithSourceStmt,M,V,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)

restoreContextOnReturnedFact

protected BiDiIDESolver.AbstractionWithSourceStmt restoreContextOnReturnedFact(N callSite,
                                                                               BiDiIDESolver.AbstractionWithSourceStmt d4,
                                                                               BiDiIDESolver.AbstractionWithSourceStmt d5)

Description copied from class: IDESolver

This method will be called for each incoming edge and can be used to transfer knowledge from the calling edge to the returning edge, without affecting the summary edges at the callee.

Overrides:

restoreContextOnReturnedFact in class IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I extends InterproceduralCFG<N,M>>

d4 - Fact stored with the incoming edge, i.e., present at the caller side

d5 - Fact that originally should be propagated to the caller.

Returns:

Fact that will be propagated to the caller.

getExecutor

protected CountingThreadPoolExecutor getExecutor()

Description copied from class: IDESolver

Factory method for this solver's thread-pool executor.

Overrides:

getExecutor in class IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I extends InterproceduralCFG<N,M>>

getDebugName

protected java.lang.String getDebugName()

Description copied from class: IDESolver

Returns a String used to identify the output of this solver in debug mode. Subclasses can overwrite this string to distinguish the output from different solvers.

Overrides:

getDebugName in class IDESolver<N,BiDiIDESolver.AbstractionWithSourceStmt,M,V,I extends InterproceduralCFG<N,M>>