GIMP проверят на наличие ошибок

>100 приложений для работы с графикой

это типа GIMP и 99 форков?

не дай бог еще всякие смотрелки к этой сотне припахают.

Ещё бы evolution проверили бы.

Пускай фотожоп с корелом проверят

Тяжело это, в тоннах чужого кода копаться.

>Тяжело это, в тоннах чужого кода копаться
Coverity занимается проблемой автоматического поиска ошибок (и уязвимостей?)

Да, Гимп глючит как под нормальными ОС, так и под оффтопом, и это очень неприятно. Надеюсь после его переписывания на GOGL и доводки ситуация изменится в лучшую сторону. А текущую версию проверять, имхо, нет смысла.

зaчeм пpoвepять фoтoжoп и кopeлл?
oни ecть пoд linux?
y ниx oткpыты иcxoдники?
oни кoмyтo нyжны?

>oни кoмyтo нyжны?

да, ибо gimp не предел мечтаний - много удобного, но не хватает так же много чего.

> да, ибо gimp не предел мечтаний - много удобного, но не хватает так же много чего.

Угу, 16-битного цвета...

Так я не понял, там проекты проверяются автоматом или типа закрытый цех, там 1000 китайцев, которые за рис или мацу проверяют код после токо, как индусы его написали?

> Проект Coverity, организованный при поддержке американского правительства

Вот чтоб ваше, российское правительство, подобными делами занималось!

> Вот чтоб ваше, российское правительство, подобными делами занималось!

Представляю наших депутатов, старательно ищущих ошибки в том же GIMP'е

Мне немного(полностью) не понятна цель проверки, особенно при поддержке такого "покровителя"...Может кто нибуть разжевать?

:-)

s/нибуть/нибудь...

PR для компании, ничего больше. Контора эта образовалась из исследовательского проекта в Стэнфорде. До основания Coverity их работы публиковались в рамках научных конференций и журнальных статьях.

Тот же самый Andy Chou в 2003 защитил свою диссертацию в Стэнфорде "Static analysis for bug finding in Systems Software". Хорошая (на мой взгляд) статья о том, как работает некоторые из механизмов, применяемых в Coverity, можно почитать в статье:

Yichen Xie, Alex Aiken Context- and Path-sensitive Memory Leak Detection ESEC/FSE'05 Lisbon, Portugal

Не знаю, имеется ли она в свободном доступе. Если не найдете - пишите мыл, скину.

>Мне немного(полностью) не понятна цель проверки, особенно при поддержке такого "покровителя"...Может кто нибуть разжевать?

>:-)

А как по твоему KDE 3.5.5 получилась? Coverity около 1200 ошибок пофиксила.

Факт того, что собираются проверять, куда менее интерестен, чем результаты проверkи. ;-)

> Coverity около 1200 ошибок пофиксила.

s/1200/800/;

еще 400 было потом, то ли в KDE 4, то ли в каких-то extra-extra прогах.

Спустя две недели -- это новость? :)

> Так я не понял, там проекты проверяются автоматом или типа закрытый цех, там 1000 китайцев, которые за рис или мацу проверяют код после токо, как индусы его написали?

А как тебе китаец поймет, например, для чего может использоваться указатель на массив указателей на void под названием ssylkanakartinki ^_^

>Мне немного(полностью) не понятна цель проверки, особенно при поддержке такого "покровителя"...Может кто нибуть разжевать?

Что тут непонятного? У американского правительства не хватает денег на войну в Ираке, они решили, так как в графическом софте больше всего используется хитрых алгоритмов, там можно найти больше всего участков кода, нарушающих те или иные патенты, инициировать судебный процесс и заработать бабла.

>зaчeм пpoвepять фoтoжoп и кopeлл?
>oни ecть пoд linux?
>y ниx oткpыты иcxoдники?
>oни кoмyтo нyжны?


Голодная кума Лиса залезла в сад;
В нем винограду кисти рделись.
У кумушки глаза и зубы разгорелись;
А кисти сочные, как яхонты, горят;
Лишь то беда, висят они высоко:
Отколь и как она к ним ни зайдёт,
Хоть видит око,
Да зуб неймёт.
Пробившись попусту час целый,
Пошла и говорит с досадою: "Ну что ж!
На взгляд-то он хорош,
Да зелен - ягодки нет зрелой:
Тотчас оскомину набьёшь".

Интересно, полный список есть? Чего-то по ссылке не нашёл...

наверное всё таки нашла а не пофиксила :)