Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
For Developers |
|
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
News
05/05/2009
Review of Our Products at Well-Known Reseller "SoftKey" Site
An article (http://www.softkey.info/reviews/review6537.php) about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS "SoftKey".
In the article, the situation with migration to 64-bit systems is described and problems in source code arising from porting programs to such systems are brought out. Viva64, our analyzer, is suggested and described as a solution which helps to avoid a lot of such troubles. The main resources of the analyzer are examined, and the principle of the program functioning is described. Reliability and excellent functionality are singled out.
The main advantage of the program, i.e. the possibility of enormously saving time and efforts of the developers who write software for 64-bit systems or execute programs porting to such systems, is reasonably specified.
Our other product, the analyzer for parallel programs VivaMP, is mentioned in the article separately. It is written that the program, being built on the same principle as Viva64 is, has got differences in the code diagnostics.
It is worth mentioning that in the article, there is information that both analyzers are built on VivaCore library, which was specially developed by our experts for creating these (and similar) analyzers.
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
