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.»
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.»
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:
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) |
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2009, OOO "Program Verification Systems". 300027, Russia, Tula, P.O. Box 1800, Phone +7(4872)38-59-95. Office: Russia, Tula, Kutuzova 100-73.