sootup.analysis.interprocedural.ifds

Class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<sootup.core.jimple.common.stmt.Stmt,sootup.core.model.SootMethod>>

java.lang.Object

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

heros.solver.IFDSSolver<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I>

sootup.analysis.interprocedural.ifds.JimpleIFDSSolver<D,I>

public class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<sootup.core.jimple.common.stmt.Stmt,sootup.core.model.SootMethod>>
extends heros.solver.IFDSSolver<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I>

Nested Class Summary

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

heros.solver.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(heros.IFDSTabulationProblem<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I> problem)

Method Summary

Modifier and Type	Method and Description
void	solve(String targetClassName)

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, meetValueAt, printStats, processExit, propagate, propagateUnbalancedReturnFlow, restoreContextOnReturnedFact, resultAt, resultsAt, scheduleEdgeProcessing, solve, submitInitialSeeds

Methods inherited from class java.lang.Object

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

Constructor Detail

JimpleIFDSSolver

public JimpleIFDSSolver(heros.IFDSTabulationProblem<sootup.core.jimple.common.stmt.Stmt,D,sootup.core.model.SootMethod,I> problem)

Method Detail

solve

public void solve(String targetClassName)