Class Hierarchy
- java.lang.Object
- it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
- it.unive.lisa.interprocedural.context.ContextBasedAnalysis<A,H,V,T>
- 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)
- it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
Interface Hierarchy
- it.unive.lisa.interprocedural.ScopeId
- it.unive.lisa.interprocedural.context.ContextSensitivityToken