VivaMP Tool Overview

VivaMP is a static code analyzer for testing parallel C/C++ programs. VivaMP works with the original code and doesn't demand its launch. Due to this you can diagnose all sections of code regardless of how frequent it is used, and this allows you to detect errors even in rarely used functions. Static analysis excludes the influence of execution environment, decreases the testing time in manifold systems. VivaMP's main features:

  • works with C/C++ programs
  • diagnoses errors related to the use of different technologies of parallel programming (OpenMP is supported currently);
  • is integrated into Microsoft Visual Studio 2005/2008 development environment;
  • uses methodology of static code analysis;
  • doesn't demand the launch of the tested program;
  • help system is integrated into MSDN;
  • the tool is easy-to-install and doesn't demand special setting.

At present VivaMP tool is being developed and is not available yet. If you are interested in this tool and would like to ask some questions or know how you can get Beta-version, please, contact us.

Andrey Karpov, Evgeniy Ryzhkov. Adaptation of the technology of the static code analyzer for developing parallel programs.