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

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

(перенаправлено с «20180517D»)
Докладчик
Илья Захаров.jpg
Илья Захаров

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

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

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

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.


Презентация

Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, 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

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



Plays:84   Comments:0