News

5.05.2009 An article about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS “SoftKey”. »

30.04.2009 An article by OOO “Program Verification Systems” developers, “Debugging and optimization of multi-thread OpenMP-programs” has been issued by RSDN Magazine, #4 – 2008. »

20.04.2009 OOO “Program Verification Systems” announces the issue of a new version of the static code analyzer – Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications and for their performance increase.»

News RSS

Recent Articles

08.06.2009 Getting acquainted with PVS-Studio code analyzer
In the article, a brief description of PVS-Studio code analyzer is given.»

08.06.2009 Parallel Lint
The article describes a new direction in development of static code analyzers – verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".»

11.05.2009 A 64-bit horse that can count
The article concerns the peculiarities of Visual C++ compiler’s behavior when generating 64-bit code and possible errors relating to it.»

Articles RSS

VivaMP Tool

Main » VivaMP Tool

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 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 (details).

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.

 View a quick demonstration of VivaMP (5 Mb, 5 minutes)

Articles:

Download "VivaMP Showcase" presentation (1 Mb)