public class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Unit,SootMethod>> extends heros.solver.IFDSSolver<Unit,D,SootMethod,I>
allTop, computeValues, DEBUG, DEFAULT_CACHE_BUILDER, durationFlowFunctionApplication, durationFlowFunctionConstruction, edgeFunctions, efCache, endSummary, executor, ffCache, flowFunctionApplicationCount, flowFunctionConstructionCount, flowFunctions, followReturnsPastSeeds, icfg, incoming, initialSeeds, jumpFn, logger, numThreads, propagationCount, unbalancedRetSites, val, valueLattice, zeroValue| Constructor and Description |
|---|
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem) |
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem,
boolean dumpResults) |
| Modifier and Type | Method and Description |
|---|---|
void |
dumpResults() |
void |
solve() |
addIncoming, awaitCompletionComputeValuesAndShutdown, computeCallFlowFunction, computeCallToReturnFlowFunction, computeNormalFlowFunction, computeReturnFlowFunction, endSummary, getDebugName, getExecutor, incoming, printStats, processExit, propagate, propagateUnbalancedReturnFlow, restoreContextOnReturnedFact, resultAt, resultsAt, scheduleEdgeProcessing, submitInitialSeedspublic JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem)
public JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I> problem, boolean dumpResults)
public void solve()
solve in class heros.solver.IDESolver<Unit,D,SootMethod,heros.solver.IFDSSolver.BinaryDomain,I extends heros.InterproceduralCFG<Unit,SootMethod>>public void dumpResults()