News

5.05.2009 An article about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS “SoftKey”. »

30.04.2009 An article by OOO “Program Verification Systems” developers, “Debugging and optimization of multi-thread OpenMP-programs” has been issued by RSDN Magazine, #4 – 2008. »

20.04.2009 OOO “Program Verification Systems” announces the issue of a new version of the static code analyzer – Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications and for their performance increase.»

News RSS

Recent Articles

08.06.2009 Getting acquainted with PVS-Studio code analyzer
In the article, a brief description of PVS-Studio code analyzer is given.»

08.06.2009 Parallel Lint
The article describes a new direction in development of static code analyzers – verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".»

11.05.2009 A 64-bit horse that can count
The article concerns the peculiarities of Visual C++ compiler’s behavior when generating 64-bit code and possible errors relating to it.»

Articles RSS

VivaCore Library

Main » VivaCore Library

Viva64 and VivaMP is developed on the basis of our VivaCore library. VivaCore is meant for the development of systems in the sphere of static analysis, testing and verification of program code in C/C++ language. If you investigate the possibility of creating tools for working with the program code this text is for you.

While investigating the sphere of static analysis we understood that we can offer our issues to other companies. They may interest those companies which create or are planning to create tools for working with the code. As C++ is one of the most difficult languages for analysis, creation of a toolkit to work with it often takes a lot of time for the procedure of working with the code. VivaCore library allows to simplify this part of the project and offers the developers the possibility to concentrating on the creation of the TOOL itself for working with the code, and not on the arranging of the code walkthrough algorithms.

Let's enumerate briefly the possible spheres for creation of new software tools on the basis of VivaCore library:

  • Software reengineering tools: refactoring, source code transformation, code optimization;
  • Quality assurance tools: software metrics, code standard checking, coverage analysis, code analyzers;
  • Source code documentation;
  • Software migration tools: platform and operation systems migration.

If your company is planning to develop tools in these or similar spheres, we are ready to provide you with our VivaCore library, arrange consultations on its integration and use and also to complete and bring about new possibilities of analysis.

The essence of the VivaCore code analysis library

Download "VivaCore Showcase" presentation (1 Mb)