Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
*
<!-- <blockquote>[©]</blockquote> -->
{{vklink|1083}}
{{fblink|2065423737043970}}
<references/>
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2018-07-04T23:29:17.730118|vimeo_plays=12|youtube_plays=0}}
[[Категория:OSDAY-2018]]
[[Категория:Верификация]]
[[Категория:Статический анализ кода]] |
Версия 17:02, 26 сентября 2018
- Докладчик
- Илья Захаров
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
Видео
Презентация
Примечания и ссылки
Plays:12
Comments:0