Advanced Static Program Analysis - NSWI182

• Anglický název: Advanced Static Program Analysis
• Zajišťuje: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2023
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:3/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: https://d3s.mff.cuni.cz/teaching/nswi182/
• Garant: prof. Jan Vitek, M.Sc., Ph.D.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Informatika, Aplikační software, Počítačová grafika a geometrie, Databázové systémy, Didaktika informatiky, Diskrétní matematika, Předměty širšího základu, Předměty obecného základu, Počítačová a formální lingvistika, Optimalizace, Programování, Softwarové inženýrství, Teoretická informatika

Anotace

čeština

Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

Jedním z cílů moderního softwarového inženýrství je automatizovat proces porozumění softwarovým artefaktům. Tento kurz se zaměřuje na techniky pro analýzu programů k nalezení, např.bezpečnostní chyby a zranitelností, stejně jako pochopení procesu vývoje softwaru. Budou získnány praktické znalosti o analýze programu a teoretických základech v abstraktní interpretaci. Předmět je vyučován společně pro Northeastern University. Výuka je online.

angličtina

Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

One of the aims of modern software engineering is to automate the process of understanding software artifacts. This course focuses on techniques for analyzing programs to find, e.g., security vulnerabilities and errors, as well as understanding the software development process. You will gain a working knowledge of program analysis and its theoretical foundations rooted in abstract interpretation. This course is taught together for Northeastern University. The lectures are online.

Literatura

čeština

Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

F. Nielson, H.R. Nielson and C. Hankin. Principle of Program Analysis (PPA)

Sylabus

čeština

Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

• základní koncepty analýzy programu vcetne analýzy toku dat, analýzy založené na omezeních a abstraktní interpretace

• dynamická analýza pro zkoumání kompromisu mezi spolehlivostí a škálovatelností

• ctení, prezentace a validace vedeckých clánku

angličtina

Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

• key concepts of program analysis including data flow analysis, constraint-based analysis and abstract interpretation.

• dynamic analysis to explore the tradeoff between soundness and scalability

• reading, presenting and validating research papers