Advanced Static Program Analysis - NSWI182

• Title: Advanced Static Program Analysis
• Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2023 to 2023
• Semester: winter
• E-Credits: 3
• Hours per week, examination: winter s.:3/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: English
• Teaching methods: full-time
• Teaching methods: full-time
• Additional information: https://d3s.mff.cuni.cz/teaching/nswi182/
• Guarantor: prof. Jan Vitek, M.Sc., Ph.D.
• Teacher(s): prof. Jan Vitek, M.Sc., Ph.D.
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science

Annotation

English

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.

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)

Czech

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.

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)

Literature

English

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

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)

Syllabus

English

• 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

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)

Czech

• 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

Last update: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)