The Final Version of the Code Analyzer VivaMP 1.00 Intended for OpenMP-Program Developers Is Released

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.