Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
variable_range_analysis [2007/06/21 12:35] simon.blanchoud |
variable_range_analysis [2007/06/30 03:30] 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 32: | ||
+ | === Material === | ||
+ | |||
+ | * Our Report {{report_zufferey-blanchoud.pdf|}} | ||
+ | * Our O'Caml Implementation {{variable_range-zufferey-blanchoud.tar|}} | ||
+ | * Our class presentation {{presentation_zufferey-blanchoud.pdf|}} |