Package sootup.analysis.interprocedural.ifds

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

java.lang.Object
heros.template.DefaultIFDSTabulationProblem<Stmt,D,SootMethod,I>
sootup.analysis.interprocedural.ifds.DefaultJimpleIFDSTabulationProblem<D,I>
All Implemented Interfaces:
heros.IFDSTabulationProblem<Stmt,D,SootMethod,I>, heros.SolverConfiguration
public abstract class DefaultJimpleIFDSTabulationProblem<D,I extends heros.InterproceduralCFG<Stmt,SootMethod>> extends heros.template.DefaultIFDSTabulationProblem<Stmt,D,SootMethod,I>

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultJimpleIFDSTabulationProblem(I icfg)
     

  • Method Summary

    Methods inherited from class heros.template.DefaultIFDSTabulationProblem

    autoAddZero, computeValues, createFlowFunctionsFactory, createZeroValue, flowFunctions, followReturnsPastSeeds, interproceduralCFG, numThreads, recordEdges, zeroValue

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface heros.IFDSTabulationProblem

    initialSeeds

  • Constructor Details

    • DefaultJimpleIFDSTabulationProblem

      public DefaultJimpleIFDSTabulationProblem(I icfg)