- PVSM.RU - https://www.pvsm.ru -

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

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

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

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

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

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

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

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

Автор: Andrey2008

Источник [52]


Сайт-источник PVSM.RU: https://www.pvsm.ru

Путь до страницы источника: https://www.pvsm.ru/pvs-studio/55103

Ссылки в тексте:

[1] CppCat: http://www.cppcat.com

[2] Альтернатива PVS-Studio за $250: http://www.viva64.com/ru/b/0228/

[3] Проверка 64-битной версии библиотеки Loki: http://www.viva64.com/ru/a/0049/

[4] Проверка WinMerge: http://www.viva64.com/ru/b/0082/

[5] вторая проверка: http://www.viva64.com/ru/b/0139/

[6] Проверка Notepad++: http://www.viva64.com/ru/b/0083/

[7] вторая проверка: http://www.viva64.com/ru/b/0131/

[8] Проверка Fennec Media Project: http://www.viva64.com/ru/b/0084/

[9] Проверка TortoiseSVN: http://www.viva64.com/ru/b/0085/

[10] вторая проверка: http://www.viva64.com/ru/b/0202/

[11] Проверка Ultimate Toolbox: http://www.viva64.com/ru/b/0090/

[12] Проверка Intel IPP Samples: http://www.viva64.com/ru/a/0069/

[13] вторая проверка: http://www.viva64.com/ru/b/0112/

[14] третья проверка: http://www.viva64.com/ru/b/0144/

[15] Проверка Miranda IM: http://www.viva64.com/ru/a/0070/

[16] Проверка Chromium: http://www.viva64.com/ru/a/0074/

[17] вторая проверка: http://www.viva64.com/ru/b/0113/

[18] третья проверка: http://www.viva64.com/ru/b/0205/

[19] четвертая проверка: http://www.viva64.com/ru/b/0225/

[20] Проверка QT: http://www.viva64.com/ru/a/0075/

[21] Проверка Apache HTTP Server: http://www.viva64.com/ru/b/0105/

[22] Intel Energy Checker SDK: http://www.viva64.com/ru/b/0106/

[23] Проверка Clang: http://www.viva64.com/ru/b/0108/

[24] втора проверка: http://www.viva64.com/ru/b/0155/

[25] Проверка ReactOS: http://www.viva64.com/ru/a/0076/

[26] вторая проверка: http://www.viva64.com/ru/b/0192/

[27] Проверка Doom 3: http://www.viva64.com/ru/b/0120/

[28] Проверка Firefox: http://www.viva64.com/ru/a/0078/

[29] Проверка Quake III Arena GPL: http://www.viva64.com/ru/b/0130/

[30] Проверка TrinityCore: http://www.viva64.com/ru/b/0133/

[31] Проверка Dolphin-emu: http://www.viva64.com/ru/b/0134/

[32] Проверка Blender: http://www.viva64.com/ru/b/0145/

[33] Проверка MAME: http://www.viva64.com/ru/b/0154/

[34] Проверка Trans-Proteomic Pipeline: http://www.viva64.com/ru/b/0156/

[35] вторая проверка: http://www.viva64.com/ru/b/0212/

[36] Проверка библиотек Visual C++: http://www.viva64.com/ru/b/0163/

[37] Проверка Tor: http://www.viva64.com/ru/b/0178/

[38] Проверка OpenSSL: http://www.viva64.com/ru/b/0183/

[39] Проверка Casablanca: http://www.viva64.com/ru/b/0189/

[40] Проверка OpenCV: http://www.viva64.com/ru/b/0191/

[41] Проверка Windows 8 Driver Samples: http://www.viva64.com/ru/b/0199/

[42] Проверка заголовочных файлов C++Builder: http://www.viva64.com/ru/b/0200/

[43] Проверка NetXMS: http://www.viva64.com/ru/b/0201/

[44] Проверка Multi Theft Auto: http://www.viva64.com/ru/b/0207/

[45] Проверка Boost: http://www.viva64.com/ru/b/0208/

[46] Проверка OpenMS: http://www.viva64.com/ru/b/0213/

[47] Проверка VirtualDub: http://www.viva64.com/ru/b/0220/

[48] Проверка Geant4: http://www.viva64.com/ru/b/0224/

[49] Проверка PostgreSQL: http://www.viva64.com/ru/b/0227/

[50] Проверка Source SDK: http://www.viva64.com/ru/b/0229/

[51] базу найденных ошибок: http://www.viva64.com/ru/examples/

[52] Источник: http://habrahabr.ru/post/212733/