Package soot.jimple.toolkits.ide

Class DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>

java.lang.Object

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

heros.template.DefaultIDETabulationProblem<Unit,D,SootMethod,V,I>

soot.jimple.toolkits.ide.DefaultJimpleIDETabulationProblem<D,V,I>

All Implemented Interfaces:

heros.IDETabulationProblem<Unit,D,SootMethod,V,I>, heros.IFDSTabulationProblem<Unit,D,SootMethod,I>, heros.SolverConfiguration

public abstract class DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>
extends heros.template.DefaultIDETabulationProblem<Unit,D,SootMethod,V,I>

A DefaultIDETabulationProblem with Units as nodes and SootMethods as methods.

Constructor Summary

Constructors

Constructor	Description
DefaultJimpleIDETabulationProblem(I icfg)

Method Summary

Methods inherited from class heros.template.DefaultIDETabulationProblem

allTopFunction, createAllTopFunction, createEdgeFunctionsFactory, createMeetLattice, edgeFunctions, meetLattice

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

DefaultJimpleIDETabulationProblem

public DefaultJimpleIDETabulationProblem(I icfg)