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. This is what we will do.
We take good care of free open-source projects. We try to notify the authors of the projects about the defects found and, if necessary, provide them with a license for a while.
I also want to remind readers that we have a lightweight code analyzer called CppCat. According to general diagnostics, it is close in capabilities to PVS-Studio. However, it is not intended for teamwork. An important point - the trial version allows you to fully use CppCat for 7 days. This is enough to test the average Open-Source project. You can learn more about CppCat and its difference from PVS-Studio from the article " Alternative to PVS-Studio for $ 250 ".
List of open-source projects so far verified with PVS-Studio:
- Checking the 64-bit version of the Loki library . (September 2009)
- WinMerge Test (October 2010), Second Test (March 2012)
- Notepad ++ check (November 2010), second check (February 2012)
- Check out the Fennec Media Project (November 2010)
- QutIM check (november 2010)
- TortoiseSVN checkout ( December 2010), second checkout (June 2013)
- Ultimate Toolbox Validation (December 2010)
- Intel IPP Samples Verification (January 2011), Second Verification (October 2011), Third Verification (April 2012)
- Checking Miranda IM (March 2011)
- Chromium check (May 2011), second check (October 2011), third check (August 2013), fourth check (December 2013)
- QT Check (July 2011)
- Validating Apache HTTP Server (July 2011)
- Intel Energy Checker SDK Check (July 2011)
- Clang check (August 2011), second check (August 2012)
- ReactOS test (September 2011), second test (April 2013)
- Doom Check 3 (November 2011)
- Firefox Validation (December 2011)
- Check Quake III Arena GPL (February 2012)
- TrinityCore Checkout (February 2012)
- Dolphin-emu checkout (February 2012)
- Blender Review (April 2012)
- Check MAME (July 2012)
- Trans-Proteomic Pipeline check (August 2012), second check (September 2013)
- Not open-source, but for the benefit of everyone. Checking Visual C ++ Libraries (September 2012)
- Checkout Tor (November 2012)
- OpenSSL Validation (December 2012)
- Check Casablanca (March 2013)
- OpenCV Validation (March 2013)
- Checking Windows 8 Driver Samples (April 2013)
- Not open-source, but for the benefit of everyone. Checking C ++ Builder Header Files (May 2013)
- NetXMS Validation (May 2013)
- Multi Theft Auto Test (August 2013)
- Boost Check (August 2013)
- OpenMS Validation (September 2013)
- Checking VirtualDub (October 2013)
- Check Geant4 (November 2013)
- PostgreSQL Validation (December 2013)
- Check Source SDK (January 2014)
- Various small projects about which articles were not written.
Our team does not check projects free of charge. Notes on errors found are advertising for us. We do not hide this. 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, the analyzer implemented much fewer rules than during the second test. During this time, the analyzer learned to find several times more errors. So such articles will become longer with time. Now we have to skip many flimsy errors so as not to turn the article into a reference.
On our site we also rundatabase of errors found . I think many of the readers will be curious to wander around it. But it is much more interesting that this base can be used as a resource for developing coding standards, new recommendations in books and articles on programming. In general, this base is waiting for its McConnell, who will be able to grow from this book in the spirit of "100 recommendations on how not to sit in a puddle."
| Unfortunately, we no longer develop or support the CppCat project. You can read about the reasons here . |