soot.jimple.toolkits.ide

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

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

IFDSLiveVariables, IFDSLocalInfoFlow, IFDSPossibleTypes, IFDSReachingDefinitions, IFDSUninitializedVariables

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

A DefaultIDETabulationProblem with Units as nodes and SootMethods as methods.

Constructor Summary

Constructors

Constructor and 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)