PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
28.06.2010
Why is the number of the line where an issue was found sometimes absent in the Error List in PVS-Studio?
Sometimes the PVS-Studio code analyzer seems to find an issue in the code on which it generates a message, specifies the file name but does not show the number of the line with the issue as shown in the figure.»
Sometimes the PVS-Studio code analyzer seems to find an issue in the code on which it generates a message, specifies the file name but does not show the number of the line with the issue as shown in the figure.»
07.06.2010
Communication between developers and users
Abstract When developing software products, developers need very much to get feedback from users of their programs.»
Abstract When developing software products, developers need very much to get feedback from users of their programs.»
22.07.2010
Using PVS-Studio with continuous integration systems
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
06.07.2010
Comparing capabilities of PVS-Studio and Visual Studio 2010 in detecting defects in 64-bit programs
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
29.06.2010
A Collection of Examples of 64-bit Errors in Real Programs
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
22.07.2010
We released a new version of PVS-Studio code analyzer - PVS-Studio 3.61»
10.06.2010
We released a new version of PVS-Studio code analyzer - PVS-Studio 3.60. »
19.05.2010
Our workers visited the GDC2010 conference that was held on May, 14-16, 2010, in Moscow and talked to many developers who participated there.»
Address
OOO "Program Verification Systems" (Co Ltd)
Our office address:
Office 73, 7th floor,
100 Kutuzova str.,
Tula, Russia.
Our address for postmail:
70-1-88 Metallurgov st.,
Tula, Russia,
300027
Postbox:
300027,Tula, P.O. 1800.
Phone: +7 (4872) 38-59-95 (GMT + 03:00)
© 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
