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

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

Достаточно. Исправлять-то когда будут?

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

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

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

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

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

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

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

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

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

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

К вопросу об исправлении найденных ошибок: Кокс этим уже занялся вовсю. См. changelog от 2.4.2-ac24: http://linuxtoday.com/news_story.php3?ltsn=2001-03-24-001-04-NW-KN

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

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

BCE HA http://sourceforge.net/projects/kernel-janitor !!

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

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

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

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

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

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

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

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

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


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

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