PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++0x applications. There are 3 sets of rules included into PVS-Studio:

1. Diagnosis of 64-bit errors (Viva64)
2. Diagnosis of parallel errors (VivaMP)
3. General-purpose diagnosis