Hierarchy For Package it.unive.lisa.interprocedural.context

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
    • it.unive.lisa.interprocedural.context.ContextBasedAnalysis<A>
  • it.unive.lisa.interprocedural.context.ContextInsensitiveToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.context.FullStackToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.context.KDepthToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.context.LastCallToken (implements it.unive.lisa.interprocedural.context.ContextSensitivityToken)

Interface Hierarchy

• it.unive.lisa.interprocedural.ScopeId
  • it.unive.lisa.interprocedural.context.ContextSensitivityToken