Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)
Материал из 0x1.tv
Версия от 19:05, 12 июля 2018; StasFomin (обсуждение | вклад)
Короткая ссылка: 20180517D
- Докладчик
- Илья Захаров
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
Видео
Презентация
Примечания и ссылки
Plays:12 Comments:0