Hierarchy For Package it.unive.lisa.interprocedural

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.interprocedural.CFGResults<A>
    • it.unive.lisa.interprocedural.FixpointResults<A>
  • it.unive.lisa.interprocedural.ReturnTopPolicy (implements it.unive.lisa.interprocedural.OpenCallPolicy)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • it.unive.lisa.util.datastructures.graph.algorithms.FixpointException
        • it.unive.lisa.interprocedural.NoEntryPointException
      • it.unive.lisa.interprocedural.InterproceduralAnalysisException
  • it.unive.lisa.interprocedural.UniqueScope (implements it.unive.lisa.interprocedural.ScopeId)
  • it.unive.lisa.interprocedural.WorstCasePolicy (implements it.unive.lisa.interprocedural.OpenCallPolicy)

Interface Hierarchy

• it.unive.lisa.interprocedural.InterproceduralAnalysis<A>
• it.unive.lisa.interprocedural.OpenCallPolicy
• it.unive.lisa.interprocedural.ScopeId