LINUX.ORG.RU

Автоматический анализ ядра


0

0

На lwn.net появилось сообщение о проведенном автоматическом анализе ядра с помощью расширения для gcc, написанного в Стенфорде. Вылавливались трудно обнаруживаемые ошибки, такие как использование памяти после её освобождения, ошибки при использовании замков, функции, которые вызываются при разрешённых и при запрещённых прерываниях, и другие.

>>> Подробности



Проверено:

Re: Автоматический анализ ядра

Ну и чего --- много ошибок нашли или как? Или основной целью было тестирование самой "примочки" к gcc?

syomin ()

Re: Автоматический анализ ядра

интересна реакция Линуса. Если их фича не врет, то это очень большое подспорье.

anonymous ()

Re: Автоматический анализ ядра

Может кто-нибудь знает, эта "примочка" к gcc способна вылавливать баги только в ядре или нет? И если нет, то можно ли ее где-то найти?

syomin ()

Re: Автоматический анализ ядра

Этой "примочке" можно задать "метапрограмму", которая описывает, что надо проверить, поэтому ей можно анализировать всё, что угодно. Разработчики её пускали на ядра Linux, OpenBSD, FLASH и Xok. Исходники они пока не выкладывают - дорабатывают.
Пример такой метапрограммы увидишь, если сходишь по ссылке в новости.

justme ()

Re: Автоматический анализ ядра

Я так понял они тестировали 2.4.1
Все ошибки я не смотрел, но в 2.4.2 многие остались
другое дело большое количество их имеют мал. вероятность всплытия

но их надо всеже исправлять.

Spy ()

Re: Автоматический анализ ядра

Да... вот теперь как сорцы выложат трафик у багтрака увелитится!!!

anonymous ()

Re: Автоматический анализ ядра

А их и не выложат. Если бы захотели -- уже бы выложили. Какую-нибудь 000-бета.

anonymous ()

Re: Автоматический анализ ядра

Судя по списку ошибок становится непонятно как вообще ядро до сих пор работало

anonymous ()

Re: Автоматический анализ ядра

2anonymous (*) (2001-03-24 03:39:26.0): Мне кажется, выложат - это же академики всё-таки, а не частная компания. 2anonymous (*) (2001-03-24 08:55:38.0): Там в основном такие ошибки, которые редко себя проявляют, поэтому их можно было свести на что-нибудь другое.

justme ()

Re: Автоматический анализ ядра

2anonymous (*) (2001-03-24 08:55:38.0): да-да, отрезвляет...:)
Вот бы посмотреть на список багов, которые этот валидатор пропустил...:)

Irsi ()

Re: Автоматический анализ ядра

2Irsi: Угу, вот бы еще эту прогу на исходники виндов напустить, вот смеху было бы.

anonymous ()

Re: Автоматический анализ ядра

2anonymous (*) (2001-03-25 02:54:04.0): да, это было бы интересно, не спорю...:) Но насколько я понял подобные валидаторы коды существуют уже лет десять как и обычно используются при разработке коммерческого софта...

Irsi ()

Re: Автоматический анализ ядра

anonymous (*) (2001-03-26 09:12:35.0) ну и нет там ничего... кроме лицензии... правда она GPL :)

anonymous ()

Re: Автоматический анализ ядра

>валидаторы коды существуют уже лет десять как и обычно
>используются при разработке коммерческого
И обычно - порядочное дерьмо :)
Достаточно редко используемое

anonymous ()

Re: Автоматический анализ ядра

2anonymous (*) (2001-03-27 19:22:21.0): ну скажем так - они требуют определенных усилий, чтоб получить полезный результат...:)

Irsi ()

Re: Автоматический анализ ядра

>они требуют определенных усилий, чтоб получить полезный результат...:)

Любой полезный результат требует определенных усилий

Но пока существующие анализаторы позволяют отлавливать
только самые тупые ошибки. Проблымы же в основом бывают с
трудно-отлавливаемыми, которые проявляются, скажем
после нескольких часов/дней работы, или при большой нагрузке

anonymous ()

Re: Автоматический анализ ядра

2anonymous (*) (2001-03-28 13:51:26.0): насколько я помню значительная часть подобных ошибок связана с различными видами утечек памяти... А их эти анализаторы ловят неплохо вроде...
Впрочем посмотри что отловил обсуждаемый анализатор... тоже в принципе в основном элементарщина...

Irsi ()

Re: Автоматический анализ ядра

>Впрочем посмотри что отловил обсуждаемый анализатор... тоже в принципе в основном >элементарщина..
Последниче два пункта - конечно элементарны.

А как вот этот:
* Places where pointers are interpreted as user-space addresses


Но, отличе данного анализатра - зто его программная настройка,
наличие языка программирования.

В общем, если его доведут до релиза, будет интересно поюзать.

anonymous ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.