PhD course - Code Scanning
Organizers:
David Basin (ETH Zurich, Switzerland)
Jannik Dreier (ETH Zurich, Switzerland)
Carsten Schuermann (IT University of Copenhagen, Denmark)
Invited guest speaker:
Achim Brucker (SAP AG, Germany)
Date(s) of the course:
7-9 April, 2014
19-20 May, 2014
Location:
Monday 7/4: room 2A50
Tuesday 8/4: room 5E-10
Wedensday 9/4: room 2A50
Monday 19/5: 3A08
Tuesday 20/5: 3A08
Wedensday 21/5: 3A20/28
Time:
April 7, 2014: 09.00-12.00
April 8, 2014: 09.00-12.00
April 9, 2014: 13.00-16.00
May 19, 2014: 10.00-12.00
May 20, 2014: 10.00-12.00
May 21, 2014: 10.00-12.00
Course description:
This course is intended for PhD students and advanced Master students and it is designed to give an introduction to formal methods, teach the basics of code scanning theory, and allows students to gain first-hand experience with the state of the art code scanners. Code scanners are tools that inspect source code automatically for bugs, security problems and other issues. Code scanners are often used to evaluate software used in safety critical systems. Contingent on our ability to secure licenses, we will discuss five different tools, such as Coverity, Fortify, Code Sonar, AppScan, and FindBugs.
The course is organized in two parts. The first part takes place in April, where we (the organizers) will give several lectures about the formal under pinnings of code scanners. During the last lecture, we will present some sample code, and assign (groups of) students to tools.
Program: First part
- April 7, 2014, 09.00-12.00: Foundations of code scanners
- April 8, 2014, 09.00-12.00: Formal Methods
- April 9, 2014, 13.00-16.00: Projects discussion
The second part of the course is then going to be tutorial like presentations of the PhD students who take the course for credit.
- May 19, 2014, 10.00-12.00: Invited lectures, Achim Brucker
- May 20, 2014, 10.00-12.00: Presentation, Group 1
- May 21, 2014, 10.00-12.00: Presentation, Group 2
Credits: 5 ECTS
How to sign up:
To sign up for this course, please send email to Christina Rasmussen (crasm@itu.dk).
Website:
Can be found here