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
31/10/2008
Our two articles are published in the magazine "Izvestiya TulGU. Tehnicheskie Nauki", issue N3 - 2008.
The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of "Izvestiya TulGU. Tehnicheskie Nauki" magazine, 2008.
You can find the online versions of these articles on our site.
The magazine considers scientific and technical problems in the sphere of engineering industry and science, technologies and equipment for working metals with pressure and cutting, modeling welding processes, questions of transport, management, computers, IT and life safety. The materials are intended for scientists, higher-school teachers, students and graduate students specializing in the sphere of technical sciences.
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
