Vybrané metody analýzy programů

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ů:

• 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)