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.

News

2018-11-29 Slides for lecture 10 are now up.
2018-11-21 Homework assignment 4 has been updated with an optional method lookup table that you can use to work on fop (task 3).
2018-11-14 Homework assignment 4 is now aviailable.
2018-11-01 Homework assignment 3: small test program updated (main entry point wasn't public static).
2018-10-19 Homework assignment 3 is now aviailable.
2018-10-19 Slides for lecture 6 are now up.
2018-10-12 Slides for lecture 5, including bonus slides for two basic call graph algorithms are now up.
2018-09-28 Homework assignment 2 is now available.
2018-09-28 Updated homework assignment 1: Uploaded a patched version of soot 3.1.0 that disables Dead Assignment elimination. This is optional but may help you test your code more easily during exercise 4.
2018-09-26 Updated homework assignment 1: more description on classpaths, and bug fix to Stub.java
2018-09-22 When working on the homework assignments, please try to track your time and report it along with the result, to help us calibrate effort for future classes.
2018-09-22 Slides for the second lecture are now up.
2018-09-21 The first homework assignment is now up (Updated: Stub.java now preserves input line numbers)
2018-09-14 Slides for the first lecture are now up.

Overview

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:

Detecting bugs and security vulnerabilities
Identifying optimisation opportunities
Program understanding
Refactoring

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.