02242 Program Analysis (Autumn 2019)
Program analysis comprises efficient and automatic techniques that can be used to ensure the proper functioning of programs, to guard against programming and security errors, and to optimise the performance of programs.
The lectures cover key concepts and techniques from program analysis and the mandatory assignment supports applying the techniques to a small project. The oral exam will cover both the key concepts and techniques and the implementation performed in the mandatory assignment.
A set of slides [slides] guide us through the lectures and the mandatory assignment. It is up to students to choose between an approach based on flow charts (as desribed in [PPA]) or program graphs (as described in [PAaA]).
· [slides] will be made available on DTU's intranet.
· [PPA] F. Nielson, H. Riis Nielson, C. Hankin: Principles of Program Analysis, Springer, 2005, ISBN 3-540-65410-0, can be bought in the DTU book store.
· [PAaA] F. Nielson, H. Riis Nielson: Program Analysis - an Appetizer, book manuscript, 2019, will be made available on DTU's intranet.
The course will be taught by Flemming Nielson and further information is available on DTU's intranet:
The online systems at http://www.formalmethods.dk supports the approach based on program graphs.