Open-source проекты, которые мы проверили с помощью PVS-Studio
Подобная статья уже публиковалась на нашем сайте. Однако, количество проектов увеличивается, и, думаю, будет рационально раз в год обновлять список. Этим и займёмся.
Данная статья устарела. Обновляемый список статей о проверенных проектах находится здесь.
Мы хорошо относимся к бесплатным open-source проектам. Мы стараемся уведомить авторов проектов о найденных недочётах и при необходимости предоставляем им на время лицензию.
Список 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 действительно помогает open-source сообществу.
Возможно, вы заметите, что приведённые статьи сильно различаются по объему. Это объяснимо. Например, при написании первой статьи про ReactOS, в анализаторе было реализовано гораздо меньше правил, чем при второй проверке. За это время, анализатор научился находить в несколько раз больше ошибок. Так что подобные статьи будут становиться со временем всё длиннее. Теперь нам приходится пропускать множество неубедительных ошибок, чтобы не превращать статью в справочник.
На нашем сайте мы также ведем базу найденных ошибок. Думаю, многим из читателей будет любопытно побродить по ней. Но гораздо интересней, что эту базу можно использовать как ресурс для выработки стандартов кодирования, новых рекомендаций в книгах и статьях по программированию. В общем, эта база ждет своего Макконнелла, который сможет вырастить из этого книгу в духе "100 рекомендаций, как не сесть в лужу".
0