PVS-Studio v3.10 the code analyzer released

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).

In 3.10 version, two new possibilities have appeared which are connected
with 64-bit applications analysis.

First, templates instantiating support has been added. Now the search of
potential errors is carried out not simply by template body (as it was
earlier), but also template parameters substitution is made for more
thorough diagnostics.

Second, now the code analyzer can work in the mode of Linux environment
simulation. We have added the support of various data models. That is why,
now it is possible to verify cross platform programs on a Windows system
the way it would be carried out on a Linux system.

The two added settings are designed for experienced users. They are turned
off by default.

Tool Submitted by Andrey Karpov (Scientific adviser of OOO "Program Verification Systems")

Post scriptum

Compliance Mandates

  • Code Auditing :

    PCI/DSS 6.3.6, 6.3.7, 6.6, SOX A12.8, GLBA 16CFR Part 314.4(b) and (2);FISMA RA-5, SC-18, SA-11 SI-2, and ISO 27001/27002 (12.4.1, 12.4.3, 12.5)


Related Articles

Code Auditing
PVS-Studio