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". »
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. 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 integrating into MSDN.
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.