Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Vybrané metody analýzy programů

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
NI-APR Z,ZK 5 2P+1C česky
Přednášející:
Cvičící:
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:
Další informace:
Pro tento předmět se rozvrh nepřipravuje
Předmět je součástí následujících studijních plánů:
Platnost dat k 19. 1. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet6082106.html