Open-Source Projects Checked with PVS-Studio

15 Fév 2014

Author: Andrey Karpov

We published a similar article at our website last year. But the number of checked projects grows and we find it reasonable to update this list once a year. So let's start.

This article is out of date. An updatable list of articles about the projects we have checked is here.

0234_PVS-Studio_and_open_source_software_2/image1.png

We are friendly to open-source projects. We do our best to let their authors know about defects we find and grant them temporary free licenses for our tool if necessary.

Below is a list of open-source projects we have checked by now with PVS-Studio:

64-bit Loki library check. (September 2009)
WinMerge check (October 2010), second check (March 2012)
Notepad++ check (November 2010), second check (February 2012)
Fennec Media Project check (November 2010)
qutIM check (November 2010)
TortoiseSVN check (December 2010), second check (June 2013)
Ultimate Toolbox check (December 2010)
Intel IPP Samples check (January 2011), second check (October 2011), third check (April 2012)
Miranda IM check (March 2011)
Chromium check (May 2011), second check (October 2011), third check (August 2013), fourth check (December 2013)
QT check (July 2011)
Apache HTTP Server check (July 2011)
Intel Energy Checker SDK check (July 2011)
Clang check (August 2011), second check (August 2012)
ReactOS check (September 2011), second check (April 2013)
Doom 3 check (November 2011)
Firefox check (December 2011)
Quake III Arena GPL check (February 2012)
TrinityCore check (February 2012)
Dolphin-emu check (February 2012)
Blender check (April 2012)
MAME check (July 2012)
Trans-Proteomic Pipeline check (August 2012), second check (September 2013)
This one is not open-source, but still useful to everyone. Visual C++ libraries check (September 2012)
Tor check (November 2012)
OpenSSL check (December 2012)
Casablanca check (March 2013)
OpenCV check (March 2013)
Windows 8 Driver Samples check (April 2013)
This one is not open-source, but still useful to everyone. C++Builder header files check (May 2013)
NetXMS check (May 2013)
Multi Theft Auto check (August 2013)
Boost check (August 2013)
OpenMS check (September 2013)
VirtualDub check (October 2013)
Geant4 check (November 2013)
PostgreSQL check (December 2013)
Source SDK check (January 2014)
Various small projects we didn't write about.

It's not entirely without any reward that we check all these projects. The reports we publish serve as an advertisement for our tools and our company. We make no secret of it. But I believe it's the best advertisement you've ever seen! PVS-Studio does help the open-source community.

You may notice that the above mentioned articles are very different in size. Well, there is an explanation to that. For example, when writing the first article about ReactOS, our analyzer had much fewer diagnostic rules than at the time of the second check. Within the time period between the two checks, the tool has learned to find several times more bugs. Because of that, our articles reporting analysis results will only grow larger in time. Now we have to skip numerous bugs that don't look too impressive and convincing in order not to turn an article into a reference book.

We also keep a bug database at our website. I think many of you will find it interesting wandering about it. But what's most interesting, you can use it as a resource to work out coding standards and new recommendations for textbooks and articles on programming. It is now waiting for its McConnell to come and use it as soil to raise a book of the "50 Tips on How Not to Drop a Clanger" style.