heros.fieldsens

Interface IFDSTabulationProblem<N,FieldRef,D,M,I extends InterproceduralCFG<N,M>>

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.

All Superinterfaces:

SolverConfiguration

public interface IFDSTabulationProblem<N,FieldRef,D,M,I extends InterproceduralCFG<N,M>>
extends SolverConfiguration

A tabulation problem for solving in an IFDSSolver as described by the Reps, Horwitz, Sagiv 1995 (RHS95) paper.

Method Summary

Modifier and Type	Method and Description
FlowFunctions<N,FieldRef,D,M>	flowFunctions() Returns a set of flow functions.
java.util.Map<N,java.util.Set<D>>	initialSeeds() Returns initial seeds to be used for the analysis.
I	interproceduralCFG() Returns the interprocedural control-flow graph which this problem is computed over.
ZeroHandler<FieldRef>	zeroHandler()
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 interface heros.SolverConfiguration

autoAddZero, computeValues, followReturnsPastSeeds, numThreads, recordEdges

Method Detail

flowFunctions

FlowFunctions<N,FieldRef,D,M> flowFunctions()

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!

interproceduralCFG

I interproceduralCFG()

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!

initialSeeds

java.util.Map<N,java.util.Set<D>> initialSeeds()

Returns initial seeds to be used for the analysis. This is a mapping of statements to initial analysis facts.

zeroValue

D zeroValue()

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!

zeroHandler

ZeroHandler<FieldRef> zeroHandler()