Static and Dynamic Program Analysis

Lecturer: Prof. Dr.-Ing. Heiko Mantel
Assistant: Ximeng Li, Ph.D.
Format: Integrated course (IV4)
Language: English
Place and time: Tuesdays 11:40 - 13:20 in S2|17/103
  Thursdays 11:40 - 13:20 in S1|03/223
Midterm exam: 07.12.2017 (Thursday) 11:40 - 13:20
Final exam: 08.02.2018 (Thursday) 11:40 - 13:20
Max. participants: 80
Links: TUCaN page (course id: 20-00-0580-iv)
D120 Forum (bulletin board of the Fachschaft)

News

Final exam inspection: The final exam inspection will take place on 26.02.2018 (Monday), 9:30-10:30 in room S2|02/A313. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last names starting K-Z come during 9:30-10:00, and people with last names starting A-J come during 10:00-10:30.

Room for the final exam on 08.02.2018 (Thursday): As previously announced, the room for the final exam on 08.02.2018 (Thursday), 11:40-13:20, will be S1|03/223 (usual lecture room on Thursdays for the course). Bring your student ID card and official photo ID for authentication. Bring a blue or black pen (not pencil).

Mid-term exam inspection: The mid-term exam inspection will take place on 24.01.2018 (Wednesday), 9:00-10:00 in Room S2|02/E202. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last names starting A-J come during 9:00-9:30, and people with last names starting K-Z come during 9:30-10:00.

Room for the mid-term exam on 07.12.2017 (Thursday): As previously announced, the room for the mid-term exam on 07.12.2017 (Thursday), 11:40-13:20, will be S1|03/223 (usual lecture room on Thursdays for the course). Bring your student ID card and official photo ID for authentication. Bring a blue or black pen (not pencil).


Announcement: The first lecture will take place on Thursday 19.10.2017.

Announcement: There is no lecture on 31.10.2017 (Tuesday), since it is a public holiday.

Online Materials

The online material can be accessed here using the password communicated in the first lecture.

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
  • abstract interpretation of imperative programs
  • program slicing
  • information flow analysis
  • run-time monitoring for security
  • security type systems

These analysis techniques are relevant to prove the security of programs, to show correctness properties, or to optimize programs, for example.

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

Last modified on 29 March 2018.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang