Package soot.jimple.toolkits.ide

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

  • public class JimpleIFDSSolver<D,​I extends heros.InterproceduralCFG<Unit,​SootMethod>>
extends heros.solver.IFDSSolver<Unit,​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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void dumpResults()  
      void solve()  

      • 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, submitInitialSeeds

    • Constructor Detail

      • JimpleIFDSSolver

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

      • JimpleIFDSSolver

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

    • Method Detail

      • solve

        public void solve()
        Overrides:
        solve in class heros.solver.IDESolver<Unit,​D,​SootMethod,​heros.solver.IFDSSolver.BinaryDomain,​I extends heros.InterproceduralCFG<Unit,​SootMethod>>

      • dumpResults

        public void dumpResults()