VivaMP for OpenMP !

Home Forums C++ Programming VivaMP for OpenMP !

This topic contains 0 replies, has 1 voice, and was last updated by  new158 9 years, 6 months ago.

  • Author
    Posts
  • #2161

    new158
    Member

    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

You must be logged in to reply to this topic.