Lecture planning

The 10 first hours are common with the SDL course.

Lecture Date Topic Teacher Notes
1
22/09/2015 Operational semantics DD
[pdf] [HW 1]
2
29/09/2015 Lambda calculus and type systems.
DD [pdf] [HW 2]
3
06/10/2015 Dataflow analysis TJ [pdf] [HW3]
3
13/10/2015 Dataflow analysis TJ [pdf]
4
20/10/2015 Constraint-based analysis
TJ
[pdf]
6 04/11/2015 Static information flow control DD [pdf]
5
18/11/2015 Abstract interpretation TJ
[pdf]
7 25/11/2015
Abstract interpretation TJ
[pdf]
8 02/11/2015
Abstract interpretation TJ
[pdf]
9
09/12/2015
Java bytecode semantics and verification TJ
[pdf]

Teachers : Thomas Jensen (TJ) and Delphine Demange (DD)


Exam PAS from 2013.

WhileAnalyser: a simple While analyser

David Pichardie has developed a simple static analyser for the While language. The Ocaml sources of WhileAnalyser can be downloaded here (use make to compile). An interactive web-demo is here. You can also read the on-line API documentation.