Vybrané metody analýzy programů
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 St Čt Pá - Předmět je součástí následujících studijních plánů:
-
- Specializace Teoretická informatika, verze 2018 až 2019 (VO)
- Počítačová bezpečnost, verze 2020 (VO)
- Návrh a programování vestavných systémů, verze 2020 (VO)
- Počítačové systémy a sítě, verze 2020 (VO)
- Manažerská informatika, verze 2020 (VO)
- Softwarové inženýrství, verze 2020 (VO)
- Systémové programování, verze 2020 (PS)
- Webové inženýrství, verze 2020 (VO)
- Znalostní inženýrství, verze 2020 (VO)
- Specializace Teoretická informatika, verze 2020 (VO)
- Magisterský program Informatika, plán pro studenty bez specializace, verze 2020 (VO)