• Laurent Mounier

• CERT coding standarts

• A short overview of the C language (but sufficient for the purpose of this course)

Quelques transparents

1.  course introduction [slides]
2. how (un)-secure is a programming language ? [slides]
3. looking at the code level (part 1) ... [slides]




Des lectures supplémentaires


•     slides from E. Poll introduction course
•     Mind your Language(s)
•     Undefined Behavior: What happened to My Code?
•     MicroSoft banned function calls
•     "The Emperor's Old Clothes" (The 1980 ACM Turing Award Lecture, by C.A.R Hoare)
  
•    Common Weakness Enumeration: buffer overflows, integer overflows, use-after-free, etc.
  
•    Smashing the stack for fun and profit (Aleph One)

Partie 2 : analyse statique de code

Le sujet du TP   (utilisez l'outil Frama-C)

Quelques transparents


• présentation générale
• l'outil Frama-C
  

Des lectures supplémentaires    


• the ACSL specification language (for Frama-C)
• the VSA plugin of Frama-C
• a mini-tutorial on ACSL

Le sujet du TP (à effectuer sur les machines de l'Ensimag) 

Quelques transparents

Désassemblage et assembleur x86  [slides and other slides]



Des lectures supplémentaires


• A (complete !) course on x86 assembly language
• slides from E. Poll on buffer overflows