EDA045F Program Analysis

Course facts

Credits:7.5 hp, Advanced level / PhD course

Study period: LP1 & 2 2018 (Sep-Dec)

Room: E:2116

Time and date: First class on 14 September, 13:00; see schedule

Course responsible: Christoph Reichenbach

Student representatives: Noric Couderc

Moodle:EDA045F on Moodle

Final Exam:11 January, 13:00--18:00, in E:2116

Formal course plan: In English and in Swedish.



This course provides both an in-depth introduction into practical program analysis and an overview over general program analysis techniques. The course goal is to enable students to understand the strengths and limitations of such analyses, and to be able to build their own analyses as part of a compiler, refactoring tool, program understanding tool, or software security tool.

Students will use different program analysis frameworks, such as Soot, to encode and evaluate different program analysis techniques.

Program analysis is useful for a large number of application areas, including:

Please contact the instructor ahead of time if you are interested in attending, as we only have room for 24 participants. M.Sc. students, please observe the instruktioner till teknologer taking PhD courses for ensuring that you receive proper credit.