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:

* Diagnosis of 64-bit errors (Viva64.
* Diagnosis of parallel errors (VivaMP)
* General-purpose diagnosis

The PVS-Studio tool is intended for developers of
contemporary applications and it integrates into the Visual
Studio 2005/2008/2010 environment providing the programmer
with a convenient user interface to analyze files, navigate
through code and get reference information. You do not need
to study documentation and settings preliminarily to work
with the analyzer. The analyzer is ready to work right
after it is installed.

The methodology of static code analysis we employ has
significant advantages over other types of analysis since
it allows you to cover the whole program code. The
procedure of code check cannot damage the code itself in
any way. The analysis process is completely controlled by
person and it is the programmer who decides if it needs
modification.

www.viva64.com/en/pvs-studio

Download File Size:12.21 MB

---