- PVSM.RU - https://www.pvsm.ru -
Подобная статья уже публиковалась на нашем сайте. Однако, количество проектов увеличивается, и, думаю, будет рационально раз в год обновлять список. Этим и займёмся.
Мы хорошо относимся к бесплатным 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/
Нажмите здесь для печати.