public class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Unit,SootMethod>> extends heros.solver.IFDSSolver<Unit,D,SootMethod,I>
allTop, computedInterPEdges, computedIntraPEdges, 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, joinValueAt, printStats, processExit, propagate, propagateUnbalancedReturnFlow, restoreContextOnReturnedFact, resultAt, resultsAt, scheduleEdgeProcessing, submitInitialSeeds
public 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()