Open-source projects that we tested with PVS-Studio

A similar article has already been published on our website. However, the number of projects is increasing, and I think it will be rational to update the list once a year. And this will do.

We are good at free open-source projects. We try to notify the authors of the projects about the found flaws and, if necessary, provide them with a license for the time being.


I also want to remind readers that we have a lightweight code analyzer called CppCat . In general-purpose diagnostics, it is close in features to PVS-Studio. However, it is not intended for teamwork. The important point is that the trial version allows you to fully use CppCat for 7 days. This is quite enough to test the average open-source project. You can learn more about CppCat and its difference from PVS-Studio in the article " Alternative to PVS-Studio for $ 250 ".
')
The list of open-source projects verified so far with PVS-Studio:

• Check the 64-bit version of the library Loki . (September 2009)
• WinMerge Check (October 2010), second check (March 2012)
• Check Notepad ++ (November 2010), second check (February 2012)
• Check Fennec Media Project (November 2010)
• Check qutIM (November 2010)
• Check TortoiseSVN (December 2010), second check (June 2013)
• Check Ultimate Toolbox (December 2010)
• Intel IPP Samples validation (January 2011), second validation (October 2011), third validation (April 2012)
• Check Miranda IM (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)
• Check Intel Energy Checker SDK (July 2011)
• Clang check (August 2011), second check (August 2012)
• ReactOS check (September 2011), second check (April 2013)
• Doom 3 Check (November 2011)
• Check Firefox (December 2011)
• Check Quake III Arena GPL (February 2012)
• TrinityCore Check (February 2012)
• Dolphin-emu Check (February 2012)
• Check Blender (April 2012)
• Check MAME (July 2012)
• Check Trans-Proteomic Pipeline (August 2012), second check (September 2013)
• Not open-source, but all to the benefit. Checking Visual C ++ Libraries (September 2012)
• Checking Tor (November 2012)
• OpenSSL Check (December 2012)
• Check Casablanca (March 2013)
• OpenCV Review (March 2013)
• Check Windows 8 Driver Samples (April 2013)
• Not open-source, but all to the benefit. Check C ++ Builder header files (May 2013)
• NetXMS Check (May 2013)
• Check Multi Theft Auto (August 2013)
• Check Boost (August 2013)
• OpenMS verification (September 2013)
• VirtualDub Check (October 2013)
• Check Geant4 (November 2013)
• PostgreSQL validation (December 2013)
• Check Source SDK (January 2014)
• Various small projects about which no articles were written.

Our team does not check projects for free. Notes about errors found are advertisements for us. We do not hide it. But it seems to me that this is the most useful advertisement you have ever seen! PVS-Studio really helps the open-source community.

You may notice that these articles vary greatly in volume. It is explainable. For example, when writing the first article about ReactOS, there were far fewer rules implemented in the analyzer than during the second check. During this time, the analyzer has learned to find several times more errors. So, such articles will become longer with time. Now we have to skip a lot of unconvincing errors in order not to turn the article into a reference book.

On our site we also keep a database of errors found . I think many of the readers will be curious to wander through it. But it is much more interesting that this base can be used as a resource for the development of coding standards, new recommendations in books and articles on programming. In general, this base is waiting for its McConnell, who can grow from this book in the spirit of "100 recommendations, how not to sit in a puddle."

Unfortunately, we no longer develop or support the CppCat project. You can read about the reasons here .