02242 Program Analysis
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 the
preferred approach based on program graphs (as described in [PAaA]) or the alternative approach based on flow graphs (as
described in [PPA])
It is recommended that you try to read the textbook
material before coming to class, that you ask questions to the slides during
class, and that you read the textbook material in detail after class and to the
Try It Out exercises as well as some of the ordinary exercises.
Course Material:
[slides] will be made available on DTU's
intranet.
[PAaA] F. Nielson, H.
Riis Nielson: Program Analysis - an Appetizer, book manuscript, 2020. The
online systems at http://www.formalmethods.dk support this material.
Supplementary Material:
[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.
The course will be taught by Flemming Nielson on
Monday afternoons in the Autumn term and further information is available on
DTU's intranet.