Технологический центр исследования безопасности ядра Linux

Статический анализ ядра¶

Инструкции по работе с интерфейсом разметки (SVACER) доступны в разделе файлы.

Для получения доступа к временному серверу для совместной работы над разметкой предупреждений SVACE пишите:
khoroshilov@ispras.ru

На этом сервере необходимо выбрать проект linux, ветка linux-5.10.y, в которой есть единственный снэпшот с результатами.

Для того, чтобы отфильтровать те предупреждения, которые относятся к выбранным подсистемам в режиме Review необходимо нажать на кнопку Filters->Basic...
и внизу в поле Files ввести список интересующих путей, например:

security/selinux;net/ipv4

При этом надо убедиться, что кнопка .* рядом с Files нажата.

По результатам анализа

1. Необходимо выставить вердикт:
   • Confirmed -- ошибка, которую рекомендуется исправить
   • Won't fix -- истинное срабатывание, которое по тем или иным причинам исправлять нецелесообразно
   • False Positive - ложное срабатывание инструмента статического анализа
   • Unclear - требуется дополнительный анализ
2. На вкладке Comment необходимо оставить комментарий, поясняющий вердикт.
   Сейчас это обязательно хотя бы в самом коротком виде, т.к. это единственный способ увидеть автора проведённого исследования предупреждения.

Взаимодействие с международным сообществом¶

Для отправки патчей в основную ветку ядра следуйте следующим инструкциям: Отправка патчей в ядро.