Package it.unive.lisa.interprocedural

Interface Summary

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

Class Summary

Class	Description
CallGraphBasedAnalysis<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	An interprocedural analysis based on a call graph.
CFGResults<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	A FunctionalLattice from ContextSensitivityTokens to CFGWithAnalysisResultss.
ContextBasedAnalysis<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	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 it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	A FunctionalLattice from CFGs to CFGResultss.
ModularWorstCaseAnalysis<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	A worst case modular analysis were all cfg calls are treated as open calls.
RecursionFreeToken	A context sensitive token representing an entire call chain up until a recursion.
SingleScopeToken	A context sensitive token representing a single ScopeToken.