Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018) — различия между версиями

Материал из 0x1.tv

<!-- {{youtubelink|}} -->

{{SlidesSection}}
[[File:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)!.jpg}}|center|640px]]
{{LinksSection}}

* 
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1083}}                                          
{{fblink|2065423737043970}}                                          
<references/>

<!-- topub -->

[[Категория:OSDAY-2018]]

Версия 13:26, 1 июля 2018

Докладчик
Илья Захаров.jpg
Илья Захаров

Доклад посвящен применению инструментов статической верификации для поиска нефункциональных ошибок в исходном коде системного программного обеспечения.

В докладе будет представлен метод модульной статической верификации с интерактивным пошаговым уточнением и его реализация в системе статической верификации Klever.

О результатах практического применения докладчик расскажет на примере поиска ошибок в модулях и подсистемах ядра Linux и приведет результаты первых экспериментов по верификации другого системного программного обеспечения.

Видео

Презентация

Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018).pdf
Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)!.jpg

Примечания и ссылки