soot.jimple.toolkits.ide

Class JimpleIFDSSolver<D,I extends InterproceduralCFG<Unit,SootMethod>>

java.lang.Object

heros.solver.IDESolver<N,D,M,IFDSSolver.BinaryDomain,I>

heros.solver.IFDSSolver<Unit,D,SootMethod,I>

soot.jimple.toolkits.ide.JimpleIFDSSolver<D,I>

public class JimpleIFDSSolver<D,I extends InterproceduralCFG<Unit,SootMethod>>
extends IFDSSolver<Unit,D,SootMethod,I>

Nested Class Summary

Nested classes/interfaces inherited from class heros.solver.IFDSSolver

IFDSSolver.BinaryDomain

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
JimpleIFDSSolver(IFDSTabulationProblem<Unit,D,SootMethod,I> problem)
JimpleIFDSSolver(IFDSTabulationProblem<Unit,D,SootMethod,I> problem, boolean dumpResults)

Method Summary

Modifier and Type	Method and Description
void	dumpResults()
void	solve() Runs the solver on the configured problem.

Methods inherited from class heros.solver.IFDSSolver

ifdsResultsAt

Methods inherited from class heros.solver.IDESolver

addIncoming, awaitCompletionComputeValuesAndShutdown, computeCallFlowFunction, computeCallToReturnFlowFunction, computeNormalFlowFunction, computeReturnFlowFunction, endSummary, getDebugName, getExecutor, incoming, joinValueAt, 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

JimpleIFDSSolver

public JimpleIFDSSolver(IFDSTabulationProblem<Unit,D,SootMethod,I> problem)

JimpleIFDSSolver

public JimpleIFDSSolver(IFDSTabulationProblem<Unit,D,SootMethod,I> problem,
                        boolean dumpResults)

Method Detail

solve

public void solve()

Description copied from class: IDESolver

Runs the solver on the configured problem. This can take some time.

Overrides:

solve in class IDESolver<Unit,D,SootMethod,IFDSSolver.BinaryDomain,I extends InterproceduralCFG<Unit,SootMethod>>

dumpResults

public void dumpResults()