Credits:7.5 hp, Advanced level / PhD course
Study period: LP1 & 2 2018 (Sep-Dec)
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.