Sylabus
- 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
Anotace
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.