proběhne 17. října 2019
v posluchárně S5, MFF UK
Malostranské nám. 25, Praha 1
Na programu je Jan Vítek: Jak analyzovat korektnost programů
Pro poskytování záruk týkajících se správnosti, bezpečnosti a výkonu software je nutné umět formálně analyzovat možná chování programu. Určit, jestli daná funkce umožní útočníkovi zjistit heslo, zamezit selhání vestavěného řídícího systému, či aplikovat transformace umožňující řádové zrychlení výpočtu, to jsou příklady úloh, které vyžadují analyzovat kód jako objekt, na kterém je možné provádět transformace zachovávající význam kódu.
V přednášce stručně představíme základy analýzy programů, počínaje analýzou toku dat a metodou abstraktní interpretace, které byly vytvořeny před více než 50 lety. Popíšeme i některé novější techniky a jejich praktické důsledky. Nakonec zmíníme i postupy nekorektní, vysvětlíme důvody jejich nekorektnosti a to, jak zmírnit její následky.
Bližší informace najdete na webové stránce PIS.
Žádné komentáře:
Okomentovat