Week: January 6th - January 10th | Software Security | UFRIM²AG : Moodle

Section outline

7/01 :

Static code analysis for security : some slides and [Dillig's slides]

Exercises

conclusion ...
- Select activity Drop Zone for Lab 3
  
  Drop Zone for Lab 3 Assignment
  
  Comparing a few code analysis tools (AFL++, PathCrawler, KLEE, Frama-C, ...) on a concrete code example (Grub or Microsoft Secure Coding game)
- Select activity Solutions for the exercises on code analysis
  
  Solutions for the exercises on code analysis File
- Select activity More about Widening and Narrowing operators
  
  More about Widening and Narrowing operators File
- Select activity Detailed solutions for exercise 1
  
  Detailed solutions for exercise 1 File
- Select activity Software Security Analysis in 2030 and Beyond: A Research Roadmap (M. BÖHME et al.)
  
  Software Security Analysis in 2030 and Beyond: A Research Roadmap (M. BÖHME et al.) File