public abstract class DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<Unit,SootMethod>> extends heros.template.DefaultIFDSTabulationProblem<Unit,D,SootMethod,I>
Constructor and Description |
---|
DefaultJimpleIFDSTabulationProblem(I icfg) |
autoAddZero, computeValues, createFlowFunctionsFactory, createZeroValue, flowFunctions, followReturnsPastSeeds, interproceduralCFG, numThreads, recordEdges, zeroValue
public DefaultJimpleIFDSTabulationProblem(I icfg)