Source code analysis tool PVS-studio from Russia.

PVS-studio is developed by OOO program verification systems in Russia.

Official Website:

Http://www.viva64.com/en/pvs-studio/

PVS-studio static code analysis tool is a tool used to detect defects in code and analyze and compare Commercial Code. As more and more fields depend on computers, the quality of code becomes critical. For example, aerospace, National Defense, industrial control, finance, and other fields that require high security and stability. PVS-studio analyzes the source code or the generated target file, and does not actually run the file generated by the source code. PVS-studio can detect some potential problems or give warnings for some potential problems.

 

The latest version is 4.39:

We recommend trying out the latest PVS-studio 4.39 (executable, 15 Mbytes ).

Supported ide:	Microsoft Visual Studio 2005/2008/2010 (release t express editions)
Release date:	25 November 2011 (release History)
Previous Version (obsolete ):	PVS-maxcompute 4.38 (download a previous version)

Download:

Http://www.verycd.com/topics/2884243/

 

PVS-studio includes three diagnostic rules:

1. 64-bit error diagnosis rules (viva64)

2. Parallel Error diagnosis rules (vivamp)

3. General diagnostic rules

 

Usage method video tutorial:

Http://files.viva64.com/demo/PVS-Studio.htm