Запущен новый этап работы сервиса Coverity Scan (http://scan.coverity.com/), в рамках которого производится автоматизированная проверка качества исходных текстов популярных открытых проектов.
Открытые проекты, полностью устранившие все обнаруженные на этапе "Rung 1" ошибки, перемещены на новый уровень "Rung 2", в котором задействован новый анализатор кода, базирующийся на последних разработках компании  Coverity.

На уровень "Rung 2 (http://scan.coverity.com/rung2.html)" переместились 11 проектов: Amanda, NTP, OpenPAM, OpenVPN, Overdose, Perl, PHP, Postfix, Python, Samba и TCL.

Всего за время существование сервиса было исправлено 7826 ошибок.

URL: http://www.news.com/8301-10789_3-9843682-57.html?part=rss&su...
Новость: https://www.opennet.ru/opennews/art.shtml?num=13579

• Одиннадцать открытых проектов исправили все замечания 'Coverity' теста ,Аноним, 03:23 , 09-Янв-08
  • Одиннадцать открытых проектов исправили все замечания 'Cover...,s_dog, 07:43 , 09-Янв-08
    • Одиннадцать открытых проектов исправили все замечания 'Cover...,Аноним, 09:21 , 09-Янв-08
      • Одиннадцать открытых проектов исправили все замечания 'Cover...,Аноним, 12:05 , 09-Янв-08
        • Одиннадцать открытых проектов исправили все замечания 'Cover...,Князь, 13:45 , 09-Янв-08
        • Одиннадцать открытых проектов исправили все замечания 'Cover...,Аноним, 19:02 , 09-Янв-08
          • Одиннадцать открытых проектов исправили все замечания 'Cover...,ximaera, 23:25 , 10-Янв-08
• Одиннадцать открытых проектов исправили все замечания 'Coverity' теста ,Сергей, 14:52 , 09-Янв-08
  • Одиннадцать открытых проектов исправили все замечания 'Cover...,cobold, 15:54 , 09-Янв-08
    • Одиннадцать открытых проектов исправили все замечания 'Cover...,ЩекнИтрч, 08:20 , 10-Янв-08

Это понятно - что ничего не понятно: какие ошибки ловят - логики? Они придумали искусственный интеллект?

А чё, тогда понятно? ;)

Все, я уже нашел:

leaked resources
references to pointers that could be NULL
references to pointers that are guaranteed to be NULL
use of uninitialized data
array overruns
unsafe use of signed values
use of resources that have been freed

>use of resources that have been freed

Интересно, как такая рога вообще работает и не падает? :) или она падает, только никто сам не хотел это фиксить.

>>use of resources that have been freed
>
>Интересно, как такая рога вообще работает и не падает? :) или она
>падает, только никто сам не хотел это фиксить.

или падает только при определенном наборе данных.

>Интересно, как такая рога вообще работает и не падает? :) или она
>падает, только никто сам не хотел это фиксить.

Это-то как раз понятно. Ну freed, а данные вполне могли еще остаться. Такая штука будет работать с довольно большой вероятностью, если память нигде больше не выделяется:

free(p);
do_some_work(p);

Вот как работал софт с references to pointers that are guaranteed to be NULL, это действительно интересно.

>Вот как работал софт с references to pointers that are guaranteed to
>be NULL, это действительно интересно.

http://community.livejournal.com/code_wtf/118126.html

Обычный анализатор исходного кода - что непонятного?
парсер писать не доводилось чтоли?

А те, кому не доводилось, должны сразу умереть? Чтобы не мучались...

>А те, кому не доводилось, должны сразу умереть? Чтобы не мучались...

Чтобы не мучились, те могут просто зайти на сайт Coverity.