OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer – VivaMP 1.10.
VivaMP tool is designed for searching parallel errors in the code of applications developed in C++ language with the use of OpenMP technology.

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.

The product’s page: http://www.viva64.com/vivamp-tool/.

Articles:
VivaMP - a tool for OpenMP
Debugging and optimization of multi-thread OpenMP-programs
32 OpenMP traps for C++ developers
VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP