Static Program Analysis
General Information
| Leitung: | Prof. Dr. Peter Thiemann | |
| Time and Place: | Tue 14 - 16, Building 101, SR 01-016; Thu 14 - 15, Building 101, SR 01-016 | |
| Exercises: | Manuel Geffken | |
| Time and Place: | Thu 15 - 16, Building 101, SR 01-016 | |
Important News
| 2014-07-04 | Sheet 7 is finally online. For those of you interested in free variables, there is an exercise about this. |
| 2014-07-03 | Please find the corrected solution sheet for exercise 6. In particular the data flow equations for VB analysis as presented in the exercise were not correct. |
| 2014-07-02 | No lecture will take place on Tuesday, 2014-07-08. |
| 2014-04-30 | The forum is online. |
Lecture
The lecture is based on the book Principles of Program Analysis by Nielson, Nielson and Hankin.
| Date | Content | Material |
|---|---|---|
| 2014-04-29 | PPA Slides 1 | |
| 2014-06-24 | Abstraction I | |
| 2014-07-01 | Abstraction II | |
| 2014-07-03 | Abstraction III | |
| 2014-07-10 | PPA Slides 2 (constant propagation example) and PPA Slides 4 |
Exercises
| Exercise sheet | Submission | Solution |
|---|---|---|
| Sheet 1 | no submission | Solution 1 |
| Sheet 2 | 2014-05-15 | Solution 2 |
| Sheet 3 | 2014-05-22 | Solution 3 |
| Sheet 4 | 2014-06-05 | Solution 4 |
| Sheet 5 | 2014-06-26 | Solution 5 |
| Sheet 6 | 2014-07-03 | Solution 6 |
| Sheet 7 | 2014-07-10 | Solution 7 (more detailed reasoning for Ex 2.1 and updated proof for Ex. 2.2 according to the presentation on Thursday) |
| Sheet 8 (updated generating function's type) | 2014-07-17 | Solution 8 |
| Sheet 9 (Update: Made it explicit in exercise 3.2 that Monotone Function spaces are used) | 2014-07-24 | Solution 9 (includes detailed reasoning about monotonicity in solution for 3.2) |
Topics
You can find an overview of possible topics as given by the book here. Due to time constraints we will not be able to cover everything in detail. The choice will depend on the students' knowledge and interests, so your active participation is highly desired!
Communication
A forum exists to ease communication regarding the course. The login works using the myAccount (RZ).
Important announcements will be made in the respective category of the forum. Please consider watching the Announcements forum.