Package it.unive.lisa.interprocedural.impl

Interface Summary

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

Class Summary

Class	Description
CallGraphBasedAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	An interprocedural analysis based on a call graph.
CFGResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	A FunctionalLattice from ContextSensitivityTokens to CFGWithAnalysisResultss.
ContextBasedAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	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).
FixpointResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	A FunctionalLattice from CFGs to CFGResultss.
ModularWorstCaseAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	A worst case modular analysis were all method calls return top.
RecursionFreeToken	A context sensitive token representing an entire call chain up until a recursion.
SingleScopeToken	A context sensitive token representing a single ScopeToken.