Open-source проекты, которые мы проверили с помощью PVS-Studio

Подобная статья уже публиковалась на нашем сайте. Однако, количество проектов увеличивается, и, думаю, будет рационально раз в год обновлять список. Этим и займёмся.

Мы хорошо относимся к бесплатным open-source проектам. Мы стараемся уведомить авторов проектов о найденных недочётах и при необходимости предоставляем им на время лицензию.

Ещё хочу напомнить читателям, что у нас появился облегченный анализатор кода под названием CppCat. По диагностикам общего назначения он близок по возможностям к PVS-Studio. Однако он не предназначен для командной работы. Важный момент — пробная версия позволяет полнофункционально использовать CppCat в течение 7 дней. Этого вполне достаточно для проверки среднего Open-Source проекта. Подробнее про CppCat и его отличие от PVS-Studio можно узнать из статьи "Альтернатива PVS-Studio за $250".

Список проверенных open-source проектов, проверенных к настоящему времени с помощью PVS-Studio:

• Проверка 64-битной версии библиотеки Loki. (сентябрь 2009)


• Проверка WinMerge (октябрь 2010), вторая проверка (март 2012)


• Проверка Notepad++ (ноябрь 2010), вторая проверка (февраль 2012)


• Проверка Fennec Media Project (ноябрь 2010)


• Проверка qutIM (ноябрь 2010)


• Проверка TortoiseSVN (декабрь 2010), вторая проверка (июнь 2013)


• Проверка Ultimate Toolbox (декабрь 2010)


• Проверка Intel IPP Samples (январь 2011), вторая проверка (октябрь 2011), третья проверка (апрель 2012)


• Проверка Miranda IM (март 2011)


• Проверка Chromium (май 2011), вторая проверка (октябрь 2011), третья проверка (август 2013), четвертая проверка (декабрь 2013)


• Проверка QT (июль 2011)


• Проверка Apache HTTP Server (июль 2011)


• Проверка Intel Energy Checker SDK (июль 2011)


• Проверка Clang (август 2011), втора проверка (август 2012)


• Проверка ReactOS (сентябрь 2011), вторая проверка (апрель 2013)


• Проверка Doom 3 (ноябрь 2011)


• Проверка Firefox (декабрь 2011)


• Проверка Quake III Arena GPL (февраль 2012)


• Проверка TrinityCore (февраль 2012)


• Проверка Dolphin-emu (февраль 2012)


• Проверка Blender (апрель 2012)


• Проверка MAME (июль 2012)


• Проверка Trans-Proteomic Pipeline (август 2012), вторая проверка (сентябрь 2013)


• Не open-source, но всем на пользу. Проверка библиотек Visual C++ (сентябрь 2012)


• Проверка Tor (ноябрь 2012)


• Проверка OpenSSL (декабрь 2012)


• Проверка Casablanca (март 2013)


• Проверка OpenCV (март 2013)


• Проверка Windows 8 Driver Samples (апрель 2013)


• Не open-source, но всем на пользу. Проверка заголовочных файлов C++Builder (май 2013)


• Проверка NetXMS (май 2013)


• Проверка Multi Theft Auto (август 2013)


• Проверка Boost (август 2013)


• Проверка OpenMS (сентябрь 2013)


• Проверка VirtualDub (октябрь 2013)


• Проверка Geant4 (ноябрь 2013)


• Проверка PostgreSQL (декабрь 2013)


• Проверка Source SDK (январь 2014)


• Разные мелкие проекты, о которых не было написано статей.

Наша команда проверяет проекты не безвозмездно. Заметки о найденных ошибках являются рекламой для нас. Мы этого не скрываем. Но, мне кажется, это самая полезная реклама, которую вы когда-либо видели! PVS-Studio/CppCat действительно помогают open-source сообществу.

Возможно, вы заметите, что приведённые статьи сильно различаются по объему. Это объяснимо. Например, при написании первой статьи про ReactOS, в анализаторе было реализовано гораздо меньше правил, чем при второй проверке. За это время, анализатор научился находить в несколько раз больше ошибок. Так что подобные статьи будут становиться со временем всё длиннее. Теперь нам приходится пропускать множество неубедительных ошибок, чтобы не превращать статью в справочник.

На нашем сайте мы также ведем базу найденных ошибок. Думаю, многим из читателей будет любопытно побродить по ней. Но гораздо интересней, что эту базу можно использовать как ресурс для выработки стандартов кодирования, новых рекомендаций в книгах и статьях по программированию. В общем, эта база ждет своего Макконнелла, который сможет вырастить из этого книгу в духе «100 рекомендаций, как не сесть в лужу».

This entry passed through the Full-Text RSS service — if this is your content and you're reading it on someone else's site, please read the FAQ at http://ift.tt/jcXqJW.