Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показано 25 промежуточных версий этого же участника) | |||
== Видео ==
{{vimeoembed|111677436|800|450}}
{{youtubelink|pjtirDLDFxA}}{{letscomment}}
<!-- pollholder -->
== Слайды ==
[[File:Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf|left|page=-|256px]]
{{----}}
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->
* [http://2014.secrus.ruorg/lang/ru/program/submitted-presentations/static-verification-of-linux-kernel-modules-current-state-of-the-art-and-beyond Страница доклада на сайте конференции]
<references/>
[[Category:SECR-2014]] <!-- -->
[[Category:Верификация]]
{{stats|disqus_comments=1|refresh_time=2017-12-12T17:18:532021-08-31T18:28:27.905435756731|vimeo_comments=0|vimeo_plays=1627|youtube_comments=0|youtube_plays=48}}57}} | |||
Текущая версия на 15:28, 31 августа 2021
Содержание
Аннотация
- Докладчик
- Евгений Новиков
Для обеспечения качества модулей ядра Linux используются различные подходы. Однако по тем или иным причинам они не позволяют выявить все ошибки.
Представлен метод статической верификации модулей ядра Linux, который нацелен на выявление всех возможных нарушений проверяемых правил.
Рассмотрен инструментарий, который реализует данный метод, представлены результаты его практического применения и продемонстрированы возможности его использования.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Слайды
Примечания и отзывы
Plays:84
Comments:1