Customers




Developers Resources

Blog

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.»

Blog RSS

News

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!»

News RSS

Articles

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". »

Articles RSS

VivaMP Tool

Main » VivaMP Tool

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.

VivaMP is a lint-like static C/C++ code analyzer meant to indicate errors in parallel programs based on OpenMP technology. VivaMP static analyzer adds much to the abilities of the existing compilers, diagnoses any parallel code which has some errors or is an eventual source of such errors. The analyzer is integrated into Visual Studio 2005/2008 development environment and into the system by means of MSDN.

Parallel programming for PCs is a real challenge now when multicore processors are being used in practice. It is natural that parallel programming support appeared in compilers. One of the most widely spread technologies of parallel programming is OpenMP. It is supported by Microsoft Visual C++, Intel C++, PGI C++ Workstation and many other compilers. But as parallel programming for PCs only starts spreading, the support of "parallel errors" testing in compilers has not achieved its strong position yet. Nowadays the level of error diagnostic by compilers in OpenMP programs is at the same rate as the common error verification in traditional compilers used 30 years ago. Just at that time static code analysis tools which complemented diagnostic abilities of a compiler appeared. One of the most famous tools of this class is lint analyzer for C++ programs. The time of parallel programs has come and we offer a new product - VivaMP.

VivaMP fields of application:

  • Verification of code correctness of OpenMP based applications;
  • Help in mastering OpenMP and its integration into the existing projects;
  • Developing parallel applications which use resources more efficiently;
  • Error search in the existing OpenMP applications.

VivaMP advantages

Static code analysis methodology used in VivaMP has some essential advantages over other types of analysis. The errors in parallel programs are difficult to display and it is not easy to find them while debugging. The main advantage of static analyzer is that there is no necessity to start an application; it does not depend upon the hardware environment. Static analysis allows embracing the whole program code. The process of code verification is not able to damage the code itself. The process of analysis is entirely controlled by the developer, and it is he who decides whether it is necessary to modify it.

VivaMP possesses a large knowledge base concerning OpenMP-based code development: reference system, articles, and examples. This makes introduction and exploitation of the analyzer easier and allows to improve the knowledge of developers in the field of parallel programming.

When being installed VivaMP is integrated into Microsoft Visual Studio environment and into MSDN system. VivaMP provides its users with a convenient user interface for file analysis, code navigation, help information. Working with this analyzer does not involve any manual study or settings; you do not have to choose any verification level, etc. The analyzer is ready to work right after being installed.