Program Analysis Jan Reineke

News

11.11.2019

Exercise 3.4 - Changes and deadline extended

We have simplified the CFG interface based on feedback from some of the students.

Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that... Read more

We have simplified the CFG interface based on feedback from some of the students.

Also, there was a bug in the CFG structure. The earlier CFG design would consider the first node in the CFG as an "entry" node. This was visible in the CFG::print() function that would skip the first node while printing the CFG. This has now been changed so that the CFG::print() function prints all nodes in the CFG. This is consistent with the definition of CFG in the lecture. The first node in your CFG has to be the one for the first statement in the program.

Please pull and merge  the new changes from the analyzer repository.

Due to the above mentioned changes, we are extending the deadline for this problem to 10:00 am on Thursday, November 14, 2019.  The deadline for the other problems in the assignment sheet is still November 12, 2019, before the lecture.

24.10.2019

Lecture on 25.10.2019

There will be a lecture tomorrow (25.10.2019) in seminar room SR 014 at 10:00 am. Please be there on time.

17.10.2019

First Lecture Postponed

Since Prof. Reineke is sick, unfortunately, we have to postpone the first lecture of the course to 22nd October, 2019.

 

Program Analysis

Introduction

Program analysis aims at automatically analyzing the behavior of programs with regards to certain properties. The properties are often related to correctness, robustness or safety of the program. In this course we discuss different state-of-the-art techniques in the field and their applications.

Time and Place

The lectures and tutorials take place on Tuesdays from 10:00 - 12:00 and Fridays from 10:00 - 12:00. The lectures take place in lecture hall 1 in building E1 3 and the tutorials in seminar room SR 014. The first lecture is on October 22, 2019.

Prerequisites

While there are no specific course prerequisites for this advanced course, a solid background in discrete mathematics is highly recommended, as provided by undergraduate math courses in our bachelor's program. In addition, some C++ programming experience would be valuable for the practical assignments.

Exam

The "end of term" exam will take place after the end of the lecture period. A reexam will be offered on demand at the end of the semester.

To be admitted to the exam, at least 50% of the points in the assignments are required.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators