Moved Permanently

The document has moved here.

Apache/2.2.11 (Unix) PHP/5.2.10 Server at viva64.com Port 80

Overview

PVS-Studio is a new static code analyzer by OOO "Program Verification Systems" designed for developers of modern resource-intensive applications. PVS-Studio combines the possibilities of 64-bit code analysis from Viva64 program and parallel code analysis from VivaMP program, and lets develop, test, perform migration and verification and of course create applications in C and C++ languages at a high level of reliability.

Two code analyzers are included in PVS-Studio:

Viva64, designed for development and migration of 64-bit applications;
VivaMP, designed for verification of parallel programs created on OpenMP technology basis.

PVS-Studio lets detect the following bug types in the source code of programs in C and C++ languages:

Errors of 32-bit applications migration to 64-bit systems;
Errors occurring during new 64-bit applications development;
Non-optimal use of memory in 64-bit programs due to alignment peculiarities;
Errors in parallel programs connected with lack of knowledge of OpenMP technology syntax;
Errors in parallel programs connected with lack of knowledge of code paralleling laws using OpenMP;
Errors occurring due to incorrect work with memory in parallel code (unguarded access to common memory, lack of synchronization, incorrect mode of access to variables, etc.).

PVS-Studio code analyzer is necessary if you:

Develop new 64-bit applications;
Carry out 32-bit code migration to 64-bit systems;
Add support of parallel execution to your program with the help of OpenMP technology.