PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
02.09.2010
Feeling the new Intel Parallel Studio XE 2011 beta
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
30.08.2010
Five days for fixing a two-character error, or a myth of almighty technologies aiding software development
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
30.08.2010
d'Artagnan and Internet, or working on the problem of bad links
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
22.07.2010
Using PVS-Studio with continuous integration systems
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
06.07.2010
Comparing capabilities of PVS-Studio and Visual Studio 2010 in detecting defects in 64-bit programs
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
29.06.2010
A Collection of Examples of 64-bit Errors in Real Programs
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
Product Page
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/2010 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/2010 integration;
- online help;
- pdf documentation;
- 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/2010. 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) Comparing PVS-Studio with other code analyzers (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)© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
