Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav07_lecture_9_skeleton [2007/04/17 15:15] vkuncak |
sav07_lecture_9_skeleton [2007/04/17 19:58] vkuncak |
||
---|---|---|---|
Line 32: | Line 32: | ||
\end{equation*} | \end{equation*} | ||
where $a^1,\ldots,a^n$ are variables ranging over a lattice $A$ (one for each control-flow graph node), and $f_k$ are monotonic functions on $A$ (one for each edge in the control-flow graph). | where $a^1,\ldots,a^n$ are variables ranging over a lattice $A$ (one for each control-flow graph node), and $f_k$ are monotonic functions on $A$ (one for each edge in the control-flow graph). | ||
+ | |||
==== From a system of equations to one equation ==== | ==== From a system of equations to one equation ==== | ||
Line 79: | Line 80: | ||
* [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL79.shtml|Systematic Design of Program Analysis Frameworks]] | * [[http://www.di.ens.fr/~cousot/COUSOTpapers/POPL79.shtml|Systematic Design of Program Analysis Frameworks]] | ||
+ | === Widening === | ||
+ | === Narrowing === | ||
===== ASTREE Static Analyzer ===== | ===== ASTREE Static Analyzer ===== |