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.
OpenCallPolicy	Policy that determines what happens to the AnalysisState when an OpenCall is encountered during the fixpoint.

Class Summary

Class	Description
ReturnTopPolicy	An OpenCallPolicy, where the post state is exactly the entry state, with the only difference of having a synthetic variable named "open_call_return" assigned to top only if the call returns a value.
WorstCasePolicy	A worst-case OpenCallPolicy, where the whole analysis state becomes top and all information is lost.

Exception Summary

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