Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014) — различия между версиями

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

(Batch edit: replace Category:SECR-2014 with Category:SECR-2014 <!-- -->)
(Batch edit: remove Category:ToPublish)
 
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

* [http://2014.secr.ru/program/submitted-presentations/static-verification-of-linux-kernel-modules-current-state-of-the-art-and-beyond Страница доклада на сайте конференции]

<references/>

[[Category:SECR-2014]] <!-- -->
[[Category:ToPublish]]
[[Category:Верификация]]

Версия 19:00, 13 ноября 2015

Аннотация

Докладчик
Евгений Новиков.jpg
Евгений Новиков

Для обеспечения качества модулей ядра Linux используются различные подходы. Однако по тем или иным причинам они не позволяют выявить все ошибки.

Представлен метод статической верификации модулей ядра Linux, который нацелен на выявление всех возможных нарушений проверяемых правил.

Рассмотрен инструментарий, который реализует данный метод, представлены результаты его практического применения и продемонстрированы возможности его использования.

Видео

on youtube


Слайды

Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf

Примечания и отзывы


Источник — «https://0x1.tv/index.php?title=Статическая_верификация_модулей_ядра_Linux_—_текущие_достижения_и_перспективы_(Евгений_Новиков,_SECR-2014)&oldid=30661»