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
Viva64
Viva64. A commercial product by OOO "Program Verification Systems" which is a static source code analyzer. The analyzer is intended for detecting errors occurring while porting 32-bit software on 64-bit platforms. Viva64 supports C and C++ languages and is intended for diagnosing Windows applications. Due to support of Windows applications in which LLP64 data model is used Viva64 tool stands out among other static code analyzers most of which focus on LP64 data model used in Unix systems. The analyzer can be divided into two parts: 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. Viva64 has a simple interface and detailed Help system.
At present, Viva64 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. Viva64: what is it and for whom is it meant?
- Andrey Karpov. 64 bits, Wp64, Visual Studio 2008, Viva64 and all the rest...
- Andrey Karpov, Evgeniy Ryzhkov. 20 issues of porting C++ code on the 64-bit platform.