Plans for 02913 ”Advanced Analysis Techniques” (January 2018 – Interprocedural Analysis)

The three week course 02913 on “Advanced Analysis Techniques” takes place at DTU starting Tuesday, January 2nd, 2018.


The topic of the course for January 2018 is Interprocedural Analysis,
 and the course is organized by Hanne Riis Nielson and Flemming Nielson.


To sign up for the course you should register at CampusNet or contact the organizers.


For formalities please take a look at


Interprocedural analysis focuses on how to analyze procedure calls – whereas the techniques currently covered in 02242 Program Analysis deal with intraprocedural analysis, which largely ignores procedure calls.

Course content

We will study the control flow analysis to the analysis of procedure calls and students are expected to write an introductory chapter aimed at BSc students for how to conduct the analyses based on a program graph representation of programs.

Course material and time schedule

Chapters from “Principles of Program Analysis” (Springer) and “Formal Methods – An Appetizer” (manuscript).

Time schedule to be determined.

Hanne Riis Nielson, Flemming Nielson