heros.template

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

java.lang.Object

heros.template.DefaultIFDSTabulationProblem<N,D,M,I>

Type Parameters:

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

All Implemented Interfaces:

IFDSTabulationProblem<N,D,M,I>, SolverConfiguration

Direct Known Subclasses:

DefaultIDETabulationProblem, DefaultJimpleIFDSTabulationProblem

public abstract class DefaultIFDSTabulationProblem<N,D,M,I extends InterproceduralCFG<N,M>>
extends java.lang.Object
implements IFDSTabulationProblem<N,D,M,I>

This is a template for IFDSTabulationProblems that automatically caches values that ought to be cached. This class uses the Factory Method design pattern. The InterproceduralCFG is passed into the constructor so that it can be conveniently reused for solving multiple different IFDSTabulationProblems. This class is specific to Soot.

Constructor Summary

Constructors

Constructor and Description
DefaultIFDSTabulationProblem(I icfg)

Method Summary

Modifier and Type	Method and Description
boolean	autoAddZero() If true, the solver will automatically add the zero value to each flow-function call's result set.
boolean	computeValues() If false, then the solver will only compute the exploded super graph but not propagate values.
protected abstract FlowFunctions<N,D,M>	createFlowFunctionsFactory()
protected abstract D	createZeroValue()
FlowFunctions<N,D,M>	flowFunctions() Returns a set of flow functions.
boolean	followReturnsPastSeeds() If true, the analysis will compute a partially unbalanced analysis problem in which function returns are followed also further up the call stack than where the initial seeds started.
I	interproceduralCFG() Returns the interprocedural control-flow graph which this problem is computed over.
int	numThreads() Returns the number of threads to be used by the solver.
boolean	recordEdges() Returns true if the solver should record the intermediate flow edges created by calling the methods on IFDSTabulationProblem.flowFunctions().
D	zeroValue() This must be a data-flow fact of type D, but must not be part of the domain of data-flow facts.

Methods inherited from class java.lang.Object

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

Methods inherited from interface heros.IFDSTabulationProblem

initialSeeds

Constructor Detail

DefaultIFDSTabulationProblem

public DefaultIFDSTabulationProblem(I icfg)

Method Detail

createFlowFunctionsFactory

protected abstract FlowFunctions<N,D,M> createFlowFunctionsFactory()

createZeroValue

protected abstract D createZeroValue()

flowFunctions

public final FlowFunctions<N,D,M> flowFunctions()

Description copied from interface: IFDSTabulationProblem

Returns a set of flow functions. Those functions are used to compute data-flow facts along the various kinds of control flows. NOTE: this method could be called many times. Implementations of this interface should therefore cache the return value!

Specified by:

flowFunctions in interface IFDSTabulationProblem<N,D,M,I extends InterproceduralCFG<N,M>>

interproceduralCFG

public I interproceduralCFG()

Description copied from interface: IFDSTabulationProblem

Returns the interprocedural control-flow graph which this problem is computed over. NOTE: this method could be called many times. Implementations of this interface should therefore cache the return value!

Specified by:

interproceduralCFG in interface IFDSTabulationProblem<N,D,M,I extends InterproceduralCFG<N,M>>

zeroValue

public final D zeroValue()

Description copied from interface: IFDSTabulationProblem

This must be a data-flow fact of type D, but must not be part of the domain of data-flow facts. Typically this will be a singleton object of type D that is used for nothing else. It must holds that this object does not equals any object within the domain. NOTE: this method could be called many times. Implementations of this interface should therefore cache the return value!

Specified by:

zeroValue in interface IFDSTabulationProblem<N,D,M,I extends InterproceduralCFG<N,M>>

followReturnsPastSeeds

public boolean followReturnsPastSeeds()

Description copied from interface: SolverConfiguration

If true, the analysis will compute a partially unbalanced analysis problem in which function returns are followed also further up the call stack than where the initial seeds started. If this is enabled, when reaching the exit of a method that is nowhere called, in order to avoid not at all processing the exit statement, the IDESolver will call the return flow function with a null call site and return site.

Specified by:

followReturnsPastSeeds in interface SolverConfiguration

autoAddZero

public boolean autoAddZero()

Description copied from interface: SolverConfiguration

If true, the solver will automatically add the zero value to each flow-function call's result set.

Specified by:

autoAddZero in interface SolverConfiguration

See Also:

#zeroValue()

numThreads

public int numThreads()

Description copied from interface: SolverConfiguration

Returns the number of threads to be used by the solver.

Specified by:

numThreads in interface SolverConfiguration

computeValues

public boolean computeValues()

Description copied from interface: SolverConfiguration

If false, then the solver will only compute the exploded super graph but not propagate values. This can save time for IFDS problems where all of the interesting results are collected already during the computation of the super graph.

Specified by:

computeValues in interface SolverConfiguration

recordEdges

public boolean recordEdges()

Description copied from interface: SolverConfiguration

Returns true if the solver should record the intermediate flow edges created by calling the methods on IFDSTabulationProblem.flowFunctions(). These nodes are not used by the solver, but may be useful for debugging the solver or flow functions (see FlowFunctionDotExport).

Specified by:

recordEdges in interface SolverConfiguration