Package it.unive.lisa.interprocedural

Interface Summary

Interface	Description
InterproceduralAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	The definition of interprocedural analyses.

Exception Summary

Exception	Description
InterproceduralAnalysisException	An exception that occurred while performing an interprocedural analysis.