Package soot.jimple.toolkits.ide

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

java.lang.Object

heros.template.DefaultIFDSTabulationProblem<Unit,D,SootMethod,I>

soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<D,I>

All Implemented Interfaces:

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

Direct Known Subclasses:

IFDSLiveVariables, IFDSLocalInfoFlow, IFDSPossibleTypes, IFDSReachingDefinitions, IFDSUninitializedVariables

public abstract class DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<Unit,SootMethod>>
extends heros.template.DefaultIFDSTabulationProblem<Unit,D,SootMethod,I>

A DefaultIDETabulationProblem with Units as nodes and SootMethods as methods.

Constructor Summary

Constructors

Constructor	Description
DefaultJimpleIFDSTabulationProblem(I icfg)

Method Summary

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

initialSeeds

Constructor Detail

DefaultJimpleIFDSTabulationProblem

public DefaultJimpleIFDSTabulationProblem(I icfg)