Package it.unive.lisa.interprocedural.context

Interface Summary

Interface	Description
ContextSensitivityToken	A token for interprocedural analysis that tunes the level of context sensitivity.

Class Summary

Class	Description
ContextBasedAnalysis<A extends it.unive.lisa.analysis.AbstractState<A>>	A context sensitive interprocedural analysis.
ContextInsensitiveToken	A context sensitive token that is always the same (aka, do not track any information about the call stack).
FullStackToken	A context sensitive token representing an entire call chain, regardless of its length.
KDepthToken	A context sensitive token representing an entire call chain up to a fixed length k, specified in the singleton creation (KDepthToken.getSingleton(int)).
LastCallToken	A context sensitive token representing a single ScopeToken.