soot.jimple.toolkits.ide

Class DefaultJimpleIDETabulationProblem<D,V,I extends 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:

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

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

A DefaultIDETabulationProblem with Units as nodes and SootMethods as methods.

Constructor Summary

Constructors

Constructor and Description
DefaultJimpleIDETabulationProblem(I icfg)

Method Summary

Methods inherited from class heros.template.DefaultIDETabulationProblem

allTopFunction, createAllTopFunction, createEdgeFunctionsFactory, createJoinLattice, edgeFunctions, joinLattice

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)