heros

Interface SolverConfiguration

All Known Subinterfaces:

IDETabulationProblem<N,D,M,V,I>, IFDSTabulationProblem<N,D,M,I>, IFDSTabulationProblem<N,FieldRef,D,M,I>

All Known Implementing Classes:

DefaultIDETabulationProblem, DefaultIFDSTabulationProblem, DefaultJimpleIDETabulationProblem, DefaultJimpleIFDSTabulationProblem, IFDSLiveVariables, IFDSLocalInfoFlow, IFDSPossibleTypes, IFDSReachingDefinitions, IFDSUninitializedVariables

public interface SolverConfiguration

Configuration parameters for IDESolver.

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.
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.
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().

Method Detail

followReturnsPastSeeds

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. 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.

autoAddZero

boolean autoAddZero()

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

See Also:

#zeroValue()

numThreads

int numThreads()

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

computeValues

boolean computeValues()

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.

recordEdges

boolean recordEdges()

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).