Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Vybrané metody analýzy programů

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
NI-APR Z,ZK 5 2P+1C česky
Garant předmětu:
Filip Křikava
Přednášející:
Filip Křikava
Cvičící:
Filip Křikava
Předmět zajišťuje:
katedra teoretické informatiky
Anotace:

Analýza programů studuje chování počítačových programů s cílem optimalizace kódu a detekce chyb. Studenti se naučí jak statické analýze, která aproximuje chování programu bez jeho spuštění, tak dynamické analýze, které analyzuje programy za běhu. Studenti se seznámí s hlavními technikami a algoritmy analýz a vyzkouší si jejich uplatnění na klasických problémech.

Požadavky:

BI-OOP, BI-PPA, NI-MPJ

Osnova přednášek:

1. Úvod do programové analýzy.

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

Osnova cvičení:

1. µC programovací jazyk

2. Lattices

3. Dataflow analysis

4. Path sensitivity

5. Pointer analysis

6. Dynamic analysis

Cíle studia:
Studijní materiály:

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.

Poznámka:

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/NI-APR/ <https://courses.fit.cvut.cz/NI-APR/

Další informace:
https://courses.fit.cvut.cz/NI-APR/
Rozvrh na zimní semestr 2023/2024:
Rozvrh není připraven
Rozvrh na letní semestr 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
Po
Út
St
Čt
místnost TH:A-942
Křikava F.
11:00–12:30
(přednášková par. 1)
Thákurova 7 (budova FSv)
místnost TH:A-942
Křikava F.
12:45–14:15
SUDÝ TÝDEN

(přednášková par. 1
paralelka 101)

Thákurova 7 (budova FSv)

Předmět je součástí následujících studijních plánů:
Platnost dat k 18. 5. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet6082106.html