Hierarchy For Package it.unive.lisa.interprocedural

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • 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.WorstCasePolicy (implements it.unive.lisa.interprocedural.OpenCallPolicy)

Interface Hierarchy

• it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>
• it.unive.lisa.interprocedural.OpenCallPolicy