heros

Interface IDETabulationProblem<N,D,M,V,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.

V - The type of values to be computed along flow edges.

I - The type of inter-procedural control-flow graph being used.

All Superinterfaces:

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

All Known Implementing Classes:

DefaultIDETabulationProblem, DefaultJimpleIDETabulationProblem

public interface IDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>
extends IFDSTabulationProblem<N,D,M,I>

Defines an IDE tabulation problem as presented in the Sagiv, Reps, Horwitz 1996 (SRH96) paper. An IDE tabulation problem extends an IFDSTabulationProblem by allowing additional values to be computed along flow functions: each domain value of type D maps at any program point to a value of type V. The functions describe how values are transformed when moving from one statement to another. The problem further defines a JoinLattice, which describes how values of type V are joined (merged) when multiple values are possible.

Method Summary

Modifier and Type	Method and Description
EdgeFunction<V>	allTopFunction() Returns a function mapping everything to top.
EdgeFunctions<N,D,M,V>	edgeFunctions() Returns the edge functions that describe how V-values are transformed along flow function edges.
JoinLattice<V>	joinLattice() Returns the lattice describing how values of type V need to be joined.

Methods inherited from interface heros.IFDSTabulationProblem

flowFunctions, initialSeeds, interproceduralCFG, zeroValue

Methods inherited from interface heros.SolverConfiguration

autoAddZero, computeValues, followReturnsPastSeeds, numThreads, recordEdges

Method Detail

edgeFunctions

EdgeFunctions<N,D,M,V> edgeFunctions()

Returns the edge functions that describe how V-values are transformed along flow function edges.

joinLattice

JoinLattice<V> joinLattice()

Returns the lattice describing how values of type V need to be joined.

allTopFunction

EdgeFunction<V> allTopFunction()

Returns a function mapping everything to top.