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

Přednášející:

Filip Křikava (gar.), Pierre Donat-Bouillud

Cvičící:

Filip Křikava (gar.), Pierre Donat-Bouillud

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:

Osnova přednášek:

1. Základní vlastnosti a cíle programové analýzy.

2. Metody programové analýzy necitlivé na tok řízení.

3. Konstrukce grafu datových závislostí a grafu toku řízení.

4.-5 (2) Reprezentace programů (AST, ASM, 3AC, SSA, Sea of Nodes).

6. Algoritmy pro intraprocedurální analýzu.

7.-8. (2) Abstraktní interpretace.

9. Koncepce interprocedurální analýzy.

10. Interprocedurální analýza toku řízení.

11. Interprocedurální analýza ukazatelů a sdílení.

12.-13. (2) Dynamická analýza.

Osnova cvičení:

Cíle studia:

Studijní materiály:

Poznámka:

Informace o předmětu a výukové materiály naleznete na

Rozvrh na zimní semestr 2020/2021:

Rozvrh není připraven

Rozvrh na letní semestr 2020/2021:

	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	místnost T9:347 Donat-Bouillud P. 12:45–14:15 (přednášková par. 1) Dejvice NBFIT učebnamístnost T9:348 Donat-Bouillud P. 18:00–19:30 LICHÝ TÝDEN (přednášková par. 1 paralelka 101) Dejvice NBFIT PC ucebna
St
Čt
Pá

Předmět je součástí následujících studijních plánů: