Package sootup.analysis.interprocedural.ide

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

java.lang.Object
heros.template.DefaultIFDSTabulationProblem<N,D,M,I>
heros.template.DefaultIDETabulationProblem<Stmt,D,SootMethod,V,I>
sootup.analysis.interprocedural.ide.DefaultJimpleIDETabulationProblem<D,V,I>
All Implemented Interfaces:
heros.IDETabulationProblem<Stmt,D,SootMethod,V,I>, heros.IFDSTabulationProblem<Stmt,D,SootMethod,I>, heros.SolverConfiguration
public abstract class DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Stmt,SootMethod>> extends heros.template.DefaultIDETabulationProblem<Stmt,D,SootMethod,V,I>

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultJimpleIDETabulationProblem(I icfg)
     

  • Method Summary

    Methods inherited from class heros.template.DefaultIDETabulationProblem

    allTopFunction, createAllTopFunction, createEdgeFunctionsFactory, createMeetLattice, edgeFunctions, meetLattice

    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

    flowFunctions, initialSeeds, interproceduralCFG, zeroValue

    Methods inherited from interface heros.SolverConfiguration

    autoAddZero, computeValues, followReturnsPastSeeds, numThreads, recordEdges

  • Constructor Details

    • DefaultJimpleIDETabulationProblem

      public DefaultJimpleIDETabulationProblem(I icfg)