heros.template

Class DefaultIDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>

java.lang.Object

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

heros.template.DefaultIDETabulationProblem<N,D,M,V,I>

Type Parameters:

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

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

DefaultJimpleIDETabulationProblem

public abstract class DefaultIDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>
extends DefaultIFDSTabulationProblem<N,D,M,I>
implements IDETabulationProblem<N,D,M,V,I>

This is a template for IDETabulationProblems 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 IDETabulationProblems. This class is specific to Soot.

Constructor Summary

Constructors

Constructor and Description
DefaultIDETabulationProblem(I icfg)

Method Summary

Modifier and Type	Method and Description
EdgeFunction<V>	allTopFunction() Returns a function mapping everything to top.
protected abstract EdgeFunction<V>	createAllTopFunction()
protected abstract EdgeFunctions<N,D,M,V>	createEdgeFunctionsFactory()
protected abstract JoinLattice<V>	createJoinLattice()
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 class heros.template.DefaultIFDSTabulationProblem

autoAddZero, computeValues, createFlowFunctionsFactory, createZeroValue, flowFunctions, followReturnsPastSeeds, interproceduralCFG, numThreads, recordEdges, zeroValue

Methods inherited from class java.lang.Object

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

Methods inherited from interface heros.IFDSTabulationProblem

flowFunctions, initialSeeds, interproceduralCFG, zeroValue

Methods inherited from interface heros.SolverConfiguration

autoAddZero, computeValues, followReturnsPastSeeds, numThreads, recordEdges

Constructor Detail

DefaultIDETabulationProblem

public DefaultIDETabulationProblem(I icfg)

Method Detail

createAllTopFunction

protected abstract EdgeFunction<V> createAllTopFunction()

createJoinLattice

protected abstract JoinLattice<V> createJoinLattice()

createEdgeFunctionsFactory

protected abstract EdgeFunctions<N,D,M,V> createEdgeFunctionsFactory()

allTopFunction

public final EdgeFunction<V> allTopFunction()

Description copied from interface: IDETabulationProblem

Returns a function mapping everything to top.

Specified by:

allTopFunction in interface IDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>

joinLattice

public final JoinLattice<V> joinLattice()

Description copied from interface: IDETabulationProblem

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

Specified by:

joinLattice in interface IDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>

edgeFunctions

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

Description copied from interface: IDETabulationProblem

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

Specified by:

edgeFunctions in interface IDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>>