Section outline
-
25/09
- Lecture 1 : course introduction
- Lecture 2 :How (in)-secure is a programming language ?
Reading suggestions:
- slides from E. Poll introduction course
- Mind your Language(s)
- A comprehensive description of C undefined behaviors
- "The Emperor's Old Clothes" (The 1980 ACM Turing Award Lecture, by C.A.R Hoare)
- A guide to undefined behaviors in C and C++
- "The Programming Languages Enthusiast'' (Michael Hicks) blog