Customers




Developers Resources

Blog

05.02.2010 /Wp64 switch and template processing error
While maintaining the analyzer Viva64 (included into PVS-Studio) we often comment upon the switch /Wp64 of Microsoft Visual C++.»

03.02.2010 Parallel notes N1 - OpenMP technology
In the next few posts we will tell you about using multi-core processors in practice.»

29.01.2010 64-bit technologies - one more trend in the modern software
In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development.»

Blog RSS

News

2.02.2010 "Lessons of 64-bit C/C++ software development" are now available on our site.»

1.02.2010 PVS-Studio 3.45 New Version Released!»

21.01.2010 PVS-Studio 3.44 New Version Released!»

News RSS

Articles

10.12.2009 PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»

09.12.2009 VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»

23.11.2009 PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »

Articles RSS

PVS-Studio

Main » PVS-Studio

PVS-Studio Description

PVS-Studio is a toolset of static source code analyzers designed for detecting 64-bit and parallel errors in software. The tool is designed for developers of state-of-the-art resource-intensive applications. PVS-Studio is integrated in Visual Studio 2005/2008 environment and supports functioning in C/C++ languages. PVS-Studio comprises Viva64 analyzer for detecting errors in 64-bit programs and VivaMP analyzer for detecting errors in parallel programs built with the help of OpenMP technology. Estimation of time and complexity of code migration process to 64-bit systems is an important feature of the tool.

PVS-Studio tool is the own project of Russian company OOO "Program Verification Systems".

PVS-Studio Features

  • Visual Studio 2005/2008 integration;
  • help integrated into MSDN;
  • online help;
  • load/save analysis reports;
  • command line version available;
  • work on all cores/processors;
  • 32-bit projects preliminary verification:
  • cost estimation of code migration to 64-bit;
  • support of Windows (LLP64) and Linux (LP64) data models;
  • interactive filters;
  • easy integration into team development process;
  • marking sources to check new code only.

Bug Types Detectable by PVS-Studio

  • errors occurring during migration of 32-bit applications to 64-bit systems;
  • errors occurring during processing of more than two gigabytes of data;
  • 64-bit errors in new code developed without consideration of Win64 architecture special features and LLP64 data model special features;
  • ineffective use of memory in 64-bit applications;
  • race condition errors occurring in parallel OpenMP-programs;
  • errors due to lack of understanding of parallel algorithms building on the basis of OpenMP technology;
  • use of ineffective OpenMP constructions.

PVS-Studio Advantages

  • Easy to download! A 30-day evaluation version of PVS-Studio is available at our site, which you can easily download without registration and forms filling in.
  • Easy to try! PVS-Studio software is implemented as an add-in module for Visual Studio 2005/2008. The program is easy to install; no special adjustment is needed. In the distribution kit, examples of programs (with source code) are given; all the diagnosed messages are collected in these examples. You can install these examples and explore PVS-Studio tool functioning on them.
  • Easy to buy! Unlike other code analyzers, we have simple pricing and licensing policy. We will not ask you about the code size of your application or impose training courses by phone. Looking at the order page, you decide what you need, pay for the purchase and receive registration information by e-mail.

PVS-Studio Case Studies

Leios Studio CAD by E.G.S. s.r.l. Company (html) Loki Library (html)

Additional Information on PVS-Studio

PVS-Studio Tutorial (html) PVS-Studio Data Sheet (pdf, 0.8 MBytes) PVS-Studio Presentation (ppt, 8 MBytes) PVS-Studio Presentation (online flash, 5 MBytes) Program Usage Demo (online flash, 7 MBytes, 7 minutes)

OrderDownload