PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
For Developers |
|
11.03.2010
Parallel notes N4 - continuing to study OpenMP constructs
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
02.03.2010
Parallel notes N3 - base OpenMP constructs
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
28.02.2010
In what way can C++0x standard help you eliminate 64-bit errors
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
10.12.2009
PVS-Studio FAQ
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 PVS-Studio code analyzer by OOO "Program Verification Systems".»
09.12.2009
VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
23.11.2009
PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
News
16/11/2009
Our company proves competence in Intel Partner Program!
Intel's initiative named "Intel Partner Program" is aimed at uniting companies which use Intel technologies in program development.
"Intel Partner Program" logo is the confirmation of our taking part in this initiative.
© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
