>> Сомневаюсь, что PVS в этом плане лучше, а попробовать его невозможно,
>> потому что проекты сканируются исключительно с целью рекламы самого PVS.
> Открыл главную страницу их сайта и там:
> "Самый лучший способ увидеть пользу от использования анализатора PVS-Studio - проверить
> с его помощью собственные проекты.
> Вы можете скачать дистрибутив PVS-Studio на странице загрузки. Демонстрационная версия
> имеет ограничение по количеству переходов к фрагментам кода, содержащим ошибки. Вы
> можете получить на время полноценную версию анализатора, связавшись с нами."
> Пробовали?

Простите, а что я буду в osx/linux/bsd делать с exe файлом, в котором распространяется данное изделие? Мой opensource проект работает только в POSIX окружении, и у меня нет ни малейшего желания портировать его под Windows. Ну то есть, требовать для проверки opensource проектов наличия OS Windows - это шикарный номер, но не для нашего цирка.

Еще раз: хочу сделать акцент на разнице в подходе coverity и PVS: coverity создает имидж, помогая opensource, и если возникнет случай, когда понадобится статический анализатор для коммерческих проектов, то я посоветую coverity, потому что я его видел, знаю и понимаю пользу от него. А PVS studio я не посоветую - у меня идиосинкразия к навязчивой рекламе. Причем, сами представители PVS не стесняются писать, что им насрать на opensource, а интересует их только реклама и продвижение. Поэтому я еще раз хочу всем порекламировать возможность использовать coverity для opensource забесплатно, без смс^Wвинды, и без сливания личных данных и слезных мольб к PVS.