Program Verification Systems Announce PVS-Studio Version 5.00

C++Builder users now have access to all the power of static analysis provided by PVS-Studio. Which is at present more than 160 general diagnostics. Besides, C++Builder XE3 Update 1 has finally acquired the 64-bit compiler! It means that more than 30 diagnostics of code migration to 64-bit systems existing in PVS-Studio for Visual C++ for a long time are now available to C++Builder users too. These diagnostics are well familiar to those of our users who have been using the analyzer since the time it was called Viva64. So, now this rule set can be used in C++Builder as well.

The first PVS-Studio 5.00 release supports the following C++Builder versions: XE2, XE3, XE3 Update1 with the 64-bit compiler. We plan to support a few older C++Builder versions in future.

This is the first public PVS-Studio release for C++Builder, that's why the number of bugs will probably be a bit higher than usually. We are sorry if that happens, and please don't feel shy to write to our support service.

The next important innovation in our tool is support of Windows Phone 8 and Windows Store projects in Visual Studio 2012. Projects like these are already starting to appear, and we are glad to provide the static analysis technology for them equally with standard desktop-application projects. There's not much to be said about it, just keep in mind that if you have a Windows Phone 8 or Windows Store project in C++, you may run PVS-Studio and see the list of issues detected in the code.

Let's briefly enumerate the main capabilities of our product for those users who are not familiar with PVS-Studio. PVS-Studio is a static code analyzer that integrates into Visual C++ and C++Builder. It also supports the command line version, including the MinGW-environment. PVS-Studio contains several hundreds of diagnostic messages grouped into 4 classes:

-General diagnostics.
-Possible optimization diagnostics.
-64-bit errors diagnostics (Viva64).
-Concurrency errors diagnostics (VivaMP).

The tool can integrate into the following environments:

-Microsoft Visual Studio: 2012, 2010, 2008, 2005.
-Embarcadero RAD Studio: XE3 Update1, XE3, XE2.
-MinGW.

Thanks to the incremental analysis capability, developers can get diagnostic messages only for the code that has been just modified and completely ignore (if they wish) messages generated for old and unmodified code.

If you need to give your colleague a description of PVS-Studio, you may put it this way: PVS-Studio is a static C/C++ code analyzer with a simple licensing and pricing policy, and it is easy to install and to use without having to deploy a complex environment.

You can download and try PVS-Studio without filling in any forms and registration here.