Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
variable_range_analysis [2007/06/21 12:35] simon.blanchoud |
variable_range_analysis [2007/06/30 03:30] (current) simon.blanchoud |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| * [[http://portal.acm.org/citation.cfm?id=512973|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] | * [[http://portal.acm.org/citation.cfm?id=512973|Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints]] | ||
| - | Implemented in OCaml as we have in mind to get integrated into Jahob to be able to analyse real Java code. | + | Implemented in OCaml as we have in mind to get integrated into [[http://lara.epfl.ch/dokuwiki/doku.php?id=jahob_system|Jahob]] to be able to analyse real Java code. |
| ===== Goal ===== | ===== Goal ===== | ||
| Line 22: | Line 22: | ||
| * Accept multiple variables | * Accept multiple variables | ||
| * Call to procedure | * Call to procedure | ||
| + | |||
| + | |||
| ===== Possible Improvements ===== | ===== Possible Improvements ===== | ||
| Line 31: | Line 33: | ||
| + | ===== Material ===== | ||
| + | |||
| + | * Our Report {{report_zufferey-blanchoud.pdf|}} | ||
| + | * Our O'Caml Implementation {{variable_range-zufferey-blanchoud.tar|}} | ||
| + | * Our class presentation {{presentation_zufferey-blanchoud.pdf|}} | ||