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/2010 development environment.

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