PVS-Studio is a toolset of static source code analyzers designed for detecting 64-bit and parallel errors in software. The tool is designed for developers of state-of-the-art resource-intensive applications. PVS-Studio is integrated in Visual Studio 2005/2008/2010 environment and supports functioning in C/C++ languages. PVS-Studio comprises Viva64 analyzer for detecting errors in 64-bit programs and VivaMP analyzer for detecting errors in parallel programs built with the help of OpenMP technology. Estimation of time and complexity of code migration process to 64-bit systems is an important feature of the tool.

PVS-Studio tool is the own project of Russian company OOO "Program Verification Systems".

Link to  Viva64 Specific Product Page 

Link to VivaMP Specific Product Page

PVS-Studio Features

• Visual Studio 2005/2008/2010 integration;
• help integrated into MSDN;
• online help;
• load/save analysis reports;
• command line version available;
• work on all cores/processors;
• 32-bit projects preliminary verification:
• cost estimation of code migration to 64-bit;
• support of Windows (LLP64) and Linux (LP64) data models;
• interactive filters;
• easy integration into team development process;
• marking sources to check new code only.

Bug Types Detectable by PVS-Studio

• errors occurring during migration of 32-bit applications to 64-bit systems;
• errors occurring during processing of more than two gigabytes of data;
• 64-bit errors in new code developed without consideration of Win64 architecture special features and LLP64 data model special features;
• ineffective use of memory in 64-bit applications;
• race condition errors occurring in parallel OpenMP-programs;
• errors due to lack of understanding of parallel algorithms building on the basis of OpenMP technology;
• use of ineffective OpenMP constructions.

PVS-Studio Advantages

• Easy to download! A 30-day evaluation version of PVS-Studio is available at our site, which you can easily download without registration and forms filling in.
• Easy to try! PVS-Studio software is implemented as an add-in module for Visual Studio 2005/2008/2010. The program is easy to install; no special adjustment is needed. In the distribution kit, examples of programs (with source code) are given; all the diagnosed messages are collected in these examples. You can install these examples and explore PVS-Studio tool functioning on them.
• Easy to buy! Unlike other code analyzers, we have simple pricing and licensing policy. We will not ask you about the code size of your application or impose training courses by phone. Looking at the order page, you decide what you need, pay for the purchase and receive registration information by e-mail.

PVS-Studio Case Studies

Leios Studio CAD by E.G.S. s.r.l. Company (html)
Loki Library (html)

Additional Information on PVS-Studio

PVS-Studio Tutorial (html)
PVS-Studio Data Sheet (pdf, 0.8 MBytes)
PVS-Studio Presentation (ppt, 8 MBytes)
PVS-Studio Presentation (online flash, 5 MBytes)
Program Usage Demo (online flash, 7 MBytes, 7 minutes)