Package it.unive.lisa.interprocedural

Class Summary

Class	Description
BackwardModularWorstCaseAnalysis<A extends it.unive.lisa.analysis.AbstractState<A>>	A worst case modular analysis were all cfg calls are treated as open calls.
CallGraphBasedAnalysis<A extends it.unive.lisa.analysis.AbstractState<A>>	An interprocedural analysis based on a call graph.
ModularWorstCaseAnalysis<A extends it.unive.lisa.analysis.AbstractState<A>>	A worst case modular analysis were all cfg calls are treated as open calls.