Язык сайта / Site language:
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
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.»
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.»
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 :).»
10.12.2009 PVS-Studio FAQ
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"»
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". »
15.03.2010 Our site has now a new appearance.»
12.03.2010 We have a knowledge base of issues related to 64-bit and parallel software development at our site.»
11.02.2010 We have a new section "Article reviews" on our site viva64.com. »
Home  |  About Us  |  Services  |  Contact Us  |  Privacy Policy  |  Terms of Use  |  Sitemap
© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
Система Orphus