soot.jimple.toolkits.ide

Class JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>

java.lang.Object

heros.solver.IDESolver<Unit,D,SootMethod,V,I>

soot.jimple.toolkits.ide.JimpleIDESolver<D,V,I>

public class JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>
extends heros.solver.IDESolver<Unit,D,SootMethod,V,I>

Field Summary

Fields inherited from class heros.solver.IDESolver

allTop, computedInterPEdges, computedIntraPEdges, computeValues, DEBUG, DEFAULT_CACHE_BUILDER, durationFlowFunctionApplication, durationFlowFunctionConstruction, edgeFunctions, efCache, endSummary, executor, ffCache, flowFunctionApplicationCount, flowFunctionConstructionCount, flowFunctions, followReturnsPastSeeds, icfg, incoming, initialSeeds, jumpFn, numThreads, propagationCount, unbalancedRetSites, val, valueLattice, zeroValue

Constructor Summary

Constructors

Constructor and Description
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem)
JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem, boolean dumpResults)

Method Summary

Modifier and Type	Method and Description
void	dumpResults()
void	solve()

Methods inherited from class heros.solver.IDESolver

addIncoming, awaitCompletionComputeValuesAndShutdown, computeCallFlowFunction, computeCallToReturnFlowFunction, computeNormalFlowFunction, computeReturnFlowFunction, endSummary, getDebugName, getExecutor, incoming, meetValueAt, printStats, processExit, propagate, propagateUnbalancedReturnFlow, restoreContextOnReturnedFact, resultAt, resultsAt, scheduleEdgeProcessing, submitInitialSeeds

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JimpleIDESolver

public JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem)

JimpleIDESolver

public JimpleIDESolver(heros.IDETabulationProblem<Unit,D,SootMethod,V,I> problem,
                       boolean dumpResults)

Method Detail

solve

public void solve()

Overrides:

solve in class heros.solver.IDESolver<Unit,D,SootMethod,V,I extends heros.InterproceduralCFG<Unit,SootMethod>>

dumpResults

public void dumpResults()