Static Program Analysis

Master course in Summer 2024

News

  • 2024-01-03: We are online!

Schedule

TypeDayTimeRoomStartLecturer
LectureMon10:15-11:45AH 215 AprNoll
 Tue10:15-11:45AH 216 AprNoll
ExerciseTBATBATBATBATBA

Contents

The goal of this course is to introduce foundational methods and techniques for analysing software on source-code level. The following topics will be discussed:

  • Dataflow analysis
  • Abstract interpretation
  • Interprocedural analysis
  • Analysis of heap data structures
  • Applications in optimising compilers and software verification

Prerequisites

Basic knowledge of the following relevant undergraduate courses is expected:

  • Programming (essential concepts of imperative and object-oriented programming languages and elementary programming techniques)
  • Formal Languages and Automata Theory (regular and context-free languages, finite and pushdown automata)
  • Knowledge in the area of Theory of Programming (such as Semantics of Programming Languages or Software Verification) is helpful but not mandatory

Lecture Material and Exercises

All material is available from the associated RWTHmoodle classroom after registration via RWTHonline.

Exam

  • The exam will be offered in written or oral form, depending on the number of prospective participants. Details will be announced later.
  • Admission requirements will be announced soon.

Background Literature and Interesting Links