Hierarchy For Package it.unive.lisa.interprocedural

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
      • it.unive.lisa.interprocedural.CFGResults<A,H,V,T>
      • it.unive.lisa.interprocedural.FixpointResults<A,H,V,T>
  • it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
    • it.unive.lisa.interprocedural.ContextBasedAnalysis<A,H,V,T>
  • it.unive.lisa.interprocedural.ContextInsensitiveToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.ModularWorstCaseAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
  • it.unive.lisa.interprocedural.RecursionFreeToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.SingleScopeToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)

Interface Hierarchy

• it.unive.lisa.interprocedural.ContextSensitivityToken