PVS-Studio is a commercial static code analysis tool for C\C++\C++0x developed by Program Verification Systems. PVS-Studio is developed on the basis of the open source VivaCore library which itself is based on the OpenC++ library.

The analyzer's main area of expertise is the migration of 32-bit Windows applications to 64-bit Windows. PVS-Studio includes the following diagnostics modules:

• Viva64 — Diagnosis of 64-bit related errors.
• VivaMP — Diagnosis of OpenMP
  OpenMP
  OpenMP is an API that supports multi-platform shared memory multiprocessing programming in C, C++, and Fortran, on most processor architectures and operating systems, including Linux, Unix, AIX, Solaris, Mac OS X, and Microsoft Windows platforms...
  
   related errors.
• A general-purpose error diagnosis module.

PVS-Studio is integrated into Microsoft Visual Studio IDE or can be used independently through a command line interface.