| Lecturer: | Prof. Dr.-Ing. Heiko Mantel |
| Assistant: | Maximilian Gehring |
| Contact: | teaching mais.informatik.tu-darmstadt.de |
| Format: | Integrated Course (IV4, 6CP) |
| Language: | English |
| Place and time: | Tuesday 13:30-15:10 in S1|01 A3 |
| Wednesday 13:30-15:10 in S2|02 C110 | |
| TUCaN Link: | in TUCaN (course id: 20-00-0580-iv) |
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", 2nd printing, Springer, 2005
- F.B. Schneider: "Enforceable Security Policies", ACM Trans. Inf. Syst. Secur. 3(1): pp. 30-50
- further literature will be announced during the course
