VivaMP 1.00 released

[AsmDeveloper]

OOO "Program Verification Systems" Company announces release of the static code C/C++ code analyzer VivaMP 1.00. VivaMP analyzer is intended for diagnosing parallel errors in the software implemented on the basis of OpenMP technology. It is no secret that the modern compilers which support OpenMP parallel technology provide rather ineffective diagnosis of errors in OpenMP-code. Meanwhile it is rather easy to make a error when using OpenMP. The developed code analyzer VivaMP is meant to fill this gap and offer high-quality diagnosis when using OpenMP.

VivaMP software is an AddIn module for Microsoft Visual Studio 2005/2008 development environment. Integrating into this environment, the analyzer can test the code of C and C++ applications in which OpenMP-parallelling is used. The analyzer allows you to detect errors resulting from lack of knowledge of OpenMP syntax and insufficient understanding of OpenMP working principles as well as errors of incorrect work with common memory, synchronization errors and performance errors.

Unlike dynamic tools the static code analyzer VivaMP doesn't demand launching the program, that's why its diagnosis is always stable, precise and independent from the “environment” in which the program being developed is launched.

In comparison with beta-versions a lot of defects were corrected which had been detected during testing and also new diagnostic messages were added in VivaMP 1.00.

The final VivaMP 1.00 version is supplied with the complete Help system which contains descriptions of all the possible problems and, what is the most important, ways to solve them. Besides, a presentation devoted to VivaMP which will help you to get acquainted with the main abilities of the analyzer, is available on our site. Those who would like to see how VivaMP works without installing it may watch a demo-video also available on the site.

[Jordan]

Got any screenshots?

[AsmDeveloper]

I can't post links.

(To be able to post links or images your post count must be 10 or greater. You currently have 3 posts.)

[Jordan]

You can attach images.

[WingedPanther]

A couple questions:
1) how does VivaMP compare with Lint?
2) Why use openMP as opposed to Boost threads?

[AsmDeveloper]

1) how does VivaMP compare with Lint?

VivaMP is the first lint-like static code analyzer for check OpenMP programs.

2) Why use openMP as opposed to Boost threads?

I do not know.

[WingedPanther]

Since I don't use OpenMP, that doesn't tell me why lint would not be adequate for checking OpenMP programs.

[Jordan]

And where are the attachments?

[AsmDeveloper]

Since I don't use OpenMP, that doesn't tell me why lint would not be adequate for checking OpenMP programs.

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.

[AsmDeveloper]

And where are the attachments?

See first post.

.../1373d1236704077-vivamp-1-00-released-vivamp_screen.png