Package sootup.analysis.interprocedural.ide

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

java.lang.Object
heros.solver.IDESolver<Stmt,D,SootMethod,V,I>
sootup.analysis.interprocedural.ide.JimpleIDESolver<D,V,I>
public class JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Stmt,SootMethod>> extends heros.solver.IDESolver<Stmt,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, logger, numThreads, propagationCount, unbalancedRetSites, val, valueLattice, zeroValue

  • Constructor Summary

    Constructors
    Constructor
    Description
    JimpleIDESolver(heros.IDETabulationProblem<Stmt,D,SootMethod,V,I> problem)
     

  • Method Summary

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

    • JimpleIDESolver

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

  • Method Details