Hlavní stránka | Seznam oborů/specializací | Seznam všech skupin předmětů | Seznam všech předmětů | Seznam rolí                Návod

Předmět je základní jednotka výuky, jejímž prostřednictvím si student osvojí ucelenou část souboru znalostí a dovedností, potřebnou pro zvládnutí studijního oboru/specializace. Za věcný obsah předmětu zodpovídá garant předmětu. Časovou náročnost předmětu zhruba vyjadřuje atribut předmětu rozsah kontaktní výuky. Například rozsah = 2+2  značí, že předmět bude mít týdně dvě hodiny přednášek a dvě hodiny cvičení týdně. Na závěr semestru musí vyučující provést vyhodnocení, nakolik si ten který student osvojil poznatky a dovednosti, kterých měl během výuky nabýt. Jakým způsobem toto hodnocení vyučující provedou určuje atribut způsob zakončení. U předmětu lze definovat, že předmět je zakončen pouze zápočtem(Z), klasifikovaným zápočtem(KZ), pouze zkouškou(ZK), nebo zápočtem a zkouškou(Z,ZK). Náročnost úspěšného absolvování předmětu je vyjádřena ECTS kreditními body. Výuka předmětu probíhá během semestru. Opakovaně se předmět vyučuje vždy v zimním(Z), nebo v letním(L) semestru každého akademického roku. Výjimečně může předmět být nabízen studentům v obou semestrech(Z,L). Za organizační zajištění výuky zodpovídá přiřazená katedra, která zejména vytvoří časový rozvrh předmětu a zajistí pro předmět vyučující. Někteří přednáší a zkouší, jiní vedou cvičení a udělují zápočty.
Obsahová náplň a další organizační informace, týkající se předmětu je popsána pomocí různých popisných textů(anotace, týdenní osnova, literatura, apod.)
$DODATEK_POPIS
NI-APR Vybrané metody analýzy programů Rozsah kontaktní výuky: 2P+1C
Vyučující: Křikava F. Způsob zakončení: Z,ZK
Zodpovědná katedra: 18101 ECTS Kredity: 5 Semestr: L

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.

Osnovy 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

Osnovy cvičení:
1. ?C programovací jazyk
2. Lattices
3. Dataflow analysis
4. Path sensitivity
5. Pointer analysis
6. Dynamic analysis

Literatura:
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.

Požadavky:
BI-OOP, BI-PPA, NI-MPJ

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/

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
NI-WI.2020 Webové inženýrství V 2
NIE-DBE.2023 Digital Business Engineering VO 2
NI-PB.2020 Počítačová bezpečnost V 2
NI-SI.2020 Softwarové inženýrství V 2
NI-PSS.2020 Počítačové systémy a sítě V 2
NI-SP.2023 Systémové programování PS 2
NI-NPVS.2020 Návrh a programování vestavných systémů V 2
NI-SPOL.2020 Nespecifikovaný/á obor/specializace studia - Unspecified Branch/Specialisation of Study VO 2
NI-TI.2023 Teoretická informatika V 2
NI-TI.2020 Teoretická informatika V 2
NI-SP.2020 Systémové programování PS 2
NI-SPOL.2020 Nespecifikovaný/á obor/specializace studia - Unspecified Branch/Specialisation of Study VO 2
NI-ZI.2020 Znalostní inženýrství V 2
NI-TI.2018 Teoretická informatika V 2
NI-MI.2020 Manažerská informatika V 2


Stránka vytvořena 25. 4. 2024, semestry: L/2019-20, Z/2022-3, Z/2021-2, Z/2019-20, Z/2020-1, L/2022-3, Z/2024-5, L/2020-1, Z,L/2023-4, L/2021-2, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: J. Novák, I. Halaška