Software

PVS-Studio is a static code analysis tool for C/C++. It is targeted at verification of resource-intensive applications which use the possibilities of modern microprocessors, such as 64-bit mode and multi-core features. The analyzer allows to detect hidden errors during development of 64-bit and parallel OpenMP applications. PVS-Studio is a plug-in for Visual Studio 2005/2008 environment, it allows to carry out thorough code analysis of parallel and 64-bit applications. PVS-Studio help system is integrated in MSDN.

The new key feature of PVS-Studio 3.30 code analyzer is the verification of 32-bit projects for estimation of complexity and cost of code migration to 64-bit systems. Due to this possibility, it is feasible to estimate the work content of code migration process yet before this process starts.

You can download PVS-Studio trial version here:
http://www.viva64.com/pvs-studio/download/

Full list of innovations:
• In PVS-Studio, a possibility of 32-bit projects verification was added for estimation of complexity and cost of code migration to 64-bit systems.
• New rule for 64-bit code analysis was added, V118: malloc() function accepts a dangerous expression in the capacity of an argument.
• New rule for 64-bit code analysis was added, V119: More than one sizeof() operators are used in one expression.
• New rule for parallel code analysis was added, V1211: The use of 'flush' directive has no sense for private 'XX' variable, and can reduce performance.
• Abnormal program termination of PVS-Studio at the attempt of code verification with selected Intel C++ Compiler active was corrected.
• Localized Visual Studio versions support was enhanced.

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