Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
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.»
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.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
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.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
Terminology
VivaMP
VivaMP. A commercial product by OOO "Program Verification Systems" which is a static source code analyzer. The analyzer is intended for detecting errors in parallel programs in which OpenMP technology is used. The analyzer diagnoses the following error classes: errors caused by lack of attention or knowledge of OpenMP directives' syntax, synchronization errors, race condition errors and also ineffective constructions. VivaMP supports C and C++ languages and is intended for diagnosing Windows applications. The analyzer can be divided into two parts: the console module and Add-in module for Visual Studio 2005/2008/2010. The console module directly performs code analysis and can be used both independently and as part of third-party systems. The Add-in module integrates into Visual Studio development environment and provides interactive communication between the user and the analyzer's functions. VivaMP has a simple interface and detailed Help system.
At present, VivaMP software product are included in PVS-Studio as part of it and are no longer distributed as separate application. Please use PVS-Studio program to obtain the necessary possibilities of code verification.
References
- Evgeniy Ryzhkov. VivaMP - a tool for OpenMP
- Andrey Karpov. Testing parallel programs
- Alexey Kolosov, Andrey Karpov, Evgeniy Ryzhkov. 32 OpenMP traps for C++ developers