- This topic has 0 replies, 1 voice, and was last updated 15 years, 5 months ago by
.
- Posts
OOO “Program Verification Systems” Company informs you that the first beta-version of static C/C++ code analyzer VivaMP has been released.
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 VisualStudio2005/2008 development environment
Fields of application of VivaMP:
– 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.Article VivaMP – a tool for OpenMP
- The forum ‘C++ Programming’ is closed to new topics and replies.
