Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE \{\{youtubelink\|([^\}]*)\}\} with {{youtubelink|\1}}{{letscomment}}) |
||
;{{SpeakerInfo}}: {{Speaker|Илья Захаров}}
<blockquote>
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
</blockquote>
{{VideoSection}}
{{vimeoembed|254114725|800|450}}
{{youtubelink|HVGDdPFfEfk}}{{letscomment}}
{{SlidesSection}}
[[File:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf|left|page=-|300px]]
{{----}}
[[File:{{#setmainimage:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)!.jpg}}|center|640px]]
{{LinksSection}}
*
<!-- <blockquote>[©]</blockquote> -->
{{vklink|1083}}
{{fblink|2065423737043970}}
<references/> |
Версия 17:01, 19 октября 2018
- Докладчик
- Илья Захаров
Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.
В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.
О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:12
Comments:0