A new tool for developers, PVS-Studio, has been marketed.

PVS-Studio is a project by a Russian company "Program Verification Systems" designed to help the developers in mastering modern programming techniques. PVS-Studio is a source code static analyzer for diagnosis of errors and mistakes appearing during adaptation of applications code to 64-bit and multi-core systems.

PVS-Studio tool represents the development of specialized code analyzers Viva64 and VivaMP range. Combining their features and being Visual Studio 2005/2008 environment plug-in, PVS-Studio has got friendly interface. The tool is provided with a detailed help system, which is integrated in MSDN. Additionally, there is a knowledge base at the company site representing numerous articles and links to external resources which include various aspects of 64-bit and parallel applications creation.

You can download a demo-version of the software from the company site. PVS-Studio has got initial settings which allow to start its investigation and use right after the installation. The software has got several licensing variants, but none of them imposes restrictions on the size of the code being processed. As the analyzer uses the possibilities of multi-core systems, its performance is well-scaled. With its help, you can analyze great amounts of code during reasonable time.

PVS-Studio supports C and C++ languages considering specific language extensions used in Visual С++. The software works in 32-bit and 64-bit operational systems of Windows family (2000/XP/2003/Vista).

Product page:
http://www.viva64.com/pvs-studio/

PVS-Studio tutorial
http://www.viva64.com/art-4-2-747004748.html

PVS-Studio demo version:
http://www.viva64.com/pvs-studio/download

About the developer
"Program Verification Systems" Company is engaged in development of software in the field of programs source code analysis. The main directions of our activities are: programs verification, static code analysis , development of the open C/C++ code parsing and analysis library, creation of tools for testing software. The activities of the company include subcontracting works: from creating special analyzers for particular tasks of customers to participation in projects on code migration to 64-bit and multi-core systems. The company site: [url]http://www.viva64.com [/url]