Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
(не показана одна промежуточная версия этого же участника) | |||
[[File:{{#setmainimage:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)!.jpg}}|center|640px]] {{LinksSection}} * <!-- <blockquote>[©]</blockquote> --> {{vklink|1083}} {{fblink|2065423737043970}} <references/> <!-- topub --> {{stats|disqus_comments=0|refresh_time=2020-07-19T00:37:132021-08-31T18:28:31.371437034813|vimeo_plays=434|youtube_comments=0|youtube_plays=3840}} [[Категория:OSDAY-2018]] [[Категория:Верификация]] [[Категория:Статический анализ кода]] |
Текущая версия на 15:28, 31 августа 2021
- Докладчик
- Илья Захаров
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:84
Comments:0