Selected Methods for Program Analysis

Předmět není vypsán Nerozvrhuje se

Kód	Zakončení	Kredity	Rozsah	Jazyk výuky
NIE-APR	Z,ZK	5	2P+1C	anglicky

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra teoretické informatiky

Anotace:

Tento kurz vás seznámí s analýzou programů, tj. automatizovaným uvažováním o chování počítačového programu. Budeme se zabývat statickou a dynamickou analýzou. Ve statické analýze se budeme zabývat uměním uvažovat o počítačových programech, aniž bychom je spustili. Budeme se zabývat analýzami pro pochopení programu, optimalizacemi a odhalováním chyb. V dynamické analýze se budeme zabývat analýzami uvažujícími o jednotlivých bězích programu s využitím konkrétního prostředí a vstupů.

Požadavky:

BI-OOP, BI-PPA

Osnova přednášek:

1. Introduction to program analysis

2. Type analysis 1

3. Type analysis 2

4. Lattices

5. Fixed points

6. Dataflow analysis 1

7. Dataflow analysis 2

8. Bit-vector framework, widening and anrrowing

9. Interprocedural analysis

10. Control flow analysis

11. Abstract interpretation

12. Dynamic analysis

Osnova cvičení:

1. microC programovací jazyk

2. Lattices

3. Dataflow analysis

4. Path sensitivity

5. Pointer analysis

6. Dynamic analysis

Cíle studia:

Studijní materiály:

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.

Poznámka:

Informace o předmětu a výukové materiály naleznete na https://courses.fit.cvut.cz/NI-APR/

Další informace:

https://courses.fit.cvut.cz/NI-APR/

Pro tento předmět se rozvrh nepřipravuje

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