sootup.analysis.interprocedural.ifds

Class DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<sootup.core.jimple.common.stmt.Stmt,sootup.core.model.SootMethod>>

java.lang.Object

heros.template.DefaultIFDSTabulationProblem<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I>

sootup.analysis.interprocedural.ifds.DefaultJimpleIFDSTabulationProblem<D,I>

All Implemented Interfaces:

heros.IFDSTabulationProblem<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I>, heros.SolverConfiguration

public abstract class DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<sootup.core.jimple.common.stmt.Stmt,sootup.core.model.SootMethod>>
extends heros.template.DefaultIFDSTabulationProblem<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I>

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)