Package sootup.analysis.interprocedural.ifds

Class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Stmt,SootMethod>>

java.lang.Object
heros.solver.IDESolver<N,D,M,heros.solver.IFDSSolver.BinaryDomain,I>
heros.solver.IFDSSolver<Stmt,D,SootMethod,I>
sootup.analysis.interprocedural.ifds.JimpleIFDSSolver<D,I>
public class JimpleIFDSSolver<D,I extends heros.InterproceduralCFG<Stmt,SootMethod>> extends heros.solver.IFDSSolver<Stmt,D,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
    Description
    JimpleIFDSSolver(heros.IFDSTabulationProblem<Stmt,D,SootMethod,I> problem)
     

  • Method Summary

    Modifier and Type
    Method
    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 Details

    • JimpleIFDSSolver

      public JimpleIFDSSolver(heros.IFDSTabulationProblem<Stmt,D,SootMethod,I> problem)

  • Method Details

    • solve

      public void solve(String targetClassName)