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.
Poslední úprava: Hnětynka Petr, doc. RNDr., 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.
Poslední úprava: Hnětynka Petr, doc. RNDr., Ph.D. (24.07.2023)