Lecturer:	Prof. Dr.-Ing. Heiko Mantel
Assistant:	Florian Dewald
Contact:	teachingmais.informatik.tu-darmstadt.de
Format:	Integrated course (IV4)
Language:	English
Place and time:	Tuesdays 9:50 - 11:30, online
	Wednesdays 16:15 - 17:55, online
Midterm oral exam:	between 9.12.2021 and 17.12.2021, online
Final written exam:	Wednesday, 16.2.2022, 16:15 - 17:55, in room S2|06 030
Max. participants:	TBD
Registration:	TUCaN page (course ID: 20-00-0580-iv)

IMPORTANT NOTE

Attendance at the first lecture is mandatory. Please register via TUCaN (course id: 20-00-0580-iv) to participate in the first lecture. Information regarding the first lecture (e.g., Zoom credentials) will be distributed via TUCaN messages. The course will have a limitation for the number of participants that will be enforced after the first lecture.

Online Materials

The online material can be accessed via Moodle.

Content

The goal of program analysis is to gather information about the behavior of programs. Such information can be obtained statically (i.e., without executing the program) or dynamically (i.e., by executing the program).

The course will cover various techniques for the formal analysis of programs. Topics include:

• Data flow analysis
• Formal semantics and proof techniques
• Abstract interpretation of imperative programs
• Run-time monitoring

Prerequisites

Knowledge of Computer Science and Mathematics, equivalent to the first four semesters in the Computer Science Bachelor program.

Literature

• Nielson, Nielson and Hankin: "Principles of Program Analysis", Springer, 1999
• F.B. Schneider: "Enforceable Security Policies", ACM Trans. Inf. Syst. Secur. 3(1): pp. 30-50
• further literature will be announced during the course