Package soot.jimple.toolkits.ide

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

  • 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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

    • 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()