The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Индекс форумов
Составление сообщения

Исходное сообщение
"Выпуск Undertaker 1.6, анализатора исходных текстов ядра Linux"
Отправлено opennews, 14-Окт-14 14:11 
В списке рассылки разработчиков ядра Linux представлен (https://lkml.org/lkml/2014/10/13/340) инструментарий Undertaker 1.6 (https://undertaker.cs.fau.de), предназначенный для выявления проблем с использованием директив препроцессора в исходных текстах на языке Си. Проект создан на базе исследовательских проектов VAMOS (http://www4.informatik.uni-erlangen.de/Research/VAMOS/) и  CADOS (https://cados.cs.fau.de). Undertaker выполняет статический анализ кода ядра Linux и позволяет определить такие проблемы, как некорректное включение или выключение условных блоков препроцессора, не соответствующих заданной конфигурации (Kconfig). Ключевым новшеством Undertaker 1.6 является реализация инструмента undertaker-checkpatch  для анализа корректности патчей к ядру. Инструмент позволяет выявить появление дефектов в патче, проанализировать причины их появления и оценить устранение ранее зафиксированных проблем.

Для UndertakerTailor (http://vamos.cs.fau.de/trac/undertaker/wiki/UndertakerTailor), системы для формирования конфигурации ядра, содержащей минимальный набор компонентов, требуемых для реализации заданной функциональности (ядро содержит более 14000 опций настройки и понять какие из них необходимы для обеспечения определённой функциональности достаточно трудно), представлен новый инструмент flipper (https://vamos.informatik.uni-erlangen.de/trac/undertaker/wik...). Flipper позволяет организовать сбор информации об управляющих потоках  в ядре, чтобы оценить какие из подсистем ядра можно отключить без негативного влияние на текущий рабочий процесс.


URL: https://lkml.org/lkml/2014/10/13/340
Новость: https://www.opennet.ru/opennews/art.shtml?num=40821

 

Ваше сообщение
Имя*:
EMail:
Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
 
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования.



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру