Исходное сообщение
"Результаты анализа системой Coverity безопасности и качества..." Отправлено Аноним, 25-Фев-12 22:24
> Нет, раз ни авторы, ни те, кто в продукт включал код, не нашли ошибок, значит они крайне неочевидны. По собственному опыту могу сказать, что в большинстве случаев, т.н. "ревью" кода другим человеком, не выявляет большинство ошибок в работе этого кода. (кроме элементарных случаев, типа проверки на NULL). Т.к. для того, чтобы проверить чужой код от и до, ревьюер должен полностью понять, что этот код должен делать и как он работает на самом деле. Зачастую, на это нужно еще больше времени, чем ушло на написание кода у автора. А время, как известно - деньги. Так что чаще всего, ревьюинг как раз проверками на NULL и ограничивается. > Я думаю, что  разработчикам С/С++ компиляторов нужно делать больший упор на анализ, чтобы такие ошибки можно было отлавливать если не прямо в IDE, то хотя бы на этапе компиляции. Согласен. И попытки это сделать уже предпринимаются: например LLVM, уже может сам расставлять retain/release для Objective-C кода, и показывать прочие чудеса анализа. И такие проекты как Coverity должны помочь.