Package it.unive.lisa.interprocedural

Interface Summary

Interface	Description
InterproceduralAnalysis<A extends AbstractState<A>>	The definition of interprocedural analyses.
OpenCallPolicy	Policy that determines what happens to the AnalysisState when an OpenCall is encountered during the fixpoint.
ScopeId	An identifier for an InterproceduralAnalysis to distinguish different results for the same CFG based on their calling contexts.

Class Summary

Class	Description
CFGResults<A extends AbstractState<A>>	A FunctionalLattice from ScopeIds to AnalyzedCFGs.
FixpointResults<A extends AbstractState<A>>	A FunctionalLattice from CFGs to CFGResultss.
ReturnTopPolicy	An OpenCallPolicy, where the post state is exactly the entry state, with the only difference of having a the call's meta variable assigned to top only if the call returns a value.
UniqueScope	A ScopeId for analyses that do not make distinction between different calling contexts.
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.
NoEntryPointException	A FixpointException signaling that no entry points have been found.