Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
<!-- {{youtubelink|}} --> {{SlidesSection}} [[File:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)!.jpg}}|center|640px]] {{LinksSection}} * <!-- <blockquote>[©]</blockquote> --> {{vklink|104583}} <references/> <!-- topub --> [[Категория:OSDAY-2018]] |
Версия 05:29, 21 июня 2018
- Докладчик
- Илья Захаров
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
Видео