OOO "Program Verification Systems"
Use PVS-Studio to check 64-bit and parallel applications
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.»
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!»
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". »
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. 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 integrating into MSDN.
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.