Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024

Selected Methods for Program Analysis

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
NI-APR Z,ZK 5 2P+1C Czech
Garant předmětu:
Filip Křikava
Lecturer:
Filip Křikava
Tutor:
Filip Křikava
Supervisor:
Department of Theoretical Computer Science
Synopsis:

Program analysis studies program behavior with the aim of code optimization and error detection. Students will learn static program analysis, which approximates program behavior without the need to actually run the program, as well as dynamic program analysis which analyse programs at runtime. Students will be introduced to the common techniques and algorithms and use them on some classical problems.

Requirements:

BI-OOP, BI-PPA, NI-MPJ

Syllabus of lectures:

1. Introduction to program analysis

2. Type analysis 1

3. Type analysis 2

4. Lattices

5. Fixed points

6. Dataflow analysis 1

7. Dataflow analysis 2

8. Interprocedural analysis

9. Control flow analysis

10. Abstract interpretation

11. Dynamic analysis

12. Introduction to symbolic execution

Syllabus of tutorials:

1. The µC language

2. Lattices

3. Dataflow analysis

4. Path sensitivity

5. Pointer analysis

6. Dynamic analysis

Study Objective:
Study materials:

1. Anders Møller and Michael I Schwartzbach. “Static Program Analysis.” Department of Computer Science, Aarhus University, 2018.

2. Cooper, K. - Torczon, L. : Engineering: A Compiler (2nd Edition). Morgan Kaufmann, 2011. ISBN 978-0120884780.

Note:
Further information:
https://courses.fit.cvut.cz/NI-APR/
Time-table for winter semester 2023/2024:
Time-table is not available yet
Time-table for summer semester 2023/2024:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Wed
Thu
roomTH:A-942
Křikava F.
11:00–12:30
(lecture parallel1)
Thákurova 7 (budova FSv)
roomTH:A-942
Křikava F.
12:45–14:15
EVEN WEEK

(lecture parallel1
parallel nr.101)

Thákurova 7 (budova FSv)
Fri
The course is a part of the following study plans:
Data valid to 2024-06-20
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet6082106.html