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

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

Версия от 06:16, 8 июня 2018; StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Илья Захаров}} <blockquote> Доклад посвящен применению инструментов статическ…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Докладчик
Илья Захаров.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

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