to the top
close form
To get a trial key
fill out the form below
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement

close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS-Studio license for Microsoft MVP specialists
** By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
** By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
** By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
Posts

Posts

Sep 29 2009
We visited INFOSECURITY 2009 Exhibition
Andrey Karpov
On September 29, we visited INFOSECURITY 2009 exhibition, which took place in Moscow Krasnaya Presnya ExpoCenter.
...
Sep 25 2009
64-bit Loki
Andrei Alexandrescu, Andrey Karpov, Evgenii Ryzhkov, Peter Kummel, Rich Sposato
The article is a report about testing of portability of Loki library with 64-bit systems with the help of Viva64 code analyzer performed by OOO "Program Verification Systems" Company. It contains recommendations for users of the library. The article will be also useful...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
Sep 25 2009
PVS-Studio 3.30 release took place on September 25, 2009
Andrey Karpov
The main feature of this code analyzer version, PVS-Studio, is the possibility of testing 32-bit projects for estimating the complexity and cost of code migration to 64-bit systems. Due to this possibility, it is possible to estimate yet before the start of code...
...
Sep 24 2009
Our Russian blog is now translated on blogs.gotdotnet.ru!
Andrey Karpov
The corporative blog of our company devoted to 64-bit and parallel programming and also static code analysis is now translated on gotdotnet.ru.
...
Sep 23 2009
OOO "Program Verification Systems" team has visited the exhibition "Progressive Technologies in Automation"
Andrey Karpov
OOO "Program Verification Systems" team has visited the exhibition "Progressive Technologies in Automation" which has taken place in Moscow ExpoCenter on September 22-24, 2009.
...
Sep 21 2009
About size_t and ptrdiff_t
Andrey Karpov
The article will help the reader understand what size_t and ptrdiff_t types are, what they are used for, and when they must be used. The article will be interesting for those developers who begin creation of 64-bit applications where use of size_t and ptrdiff_t types...
...
Sep 21 2009
How to estimate the process of 64-bit migration of C/C++ applications?
Evgenii Ryzhkov
The article is devoted to the issue of estimating complexity and cost of migration of applications to 64-bit platforms. Such aspects as availability of various components of an application, libraries and development tools are considered. An example of using PVS-Studio...
...
Sep 15 2009
Possible issues relating to stdafx.h when using PVS-Studio
Andrey Karpov
Sometimes, when testing the code of applications with the help of PVS-Studio, you may face some problems with stdafx.h file which is a part of the mechanism "precompiled headers". For example, PVS-Studio can warn that this file cannot be found. Or, if there are several...
...
Sep 15 2009
Issues of 64-bit code in real programs: virtual functions
Andrey Karpov
We have already written in our articles about one of the problems of code migration to 64-bit systems relating to incorrect overload of virtual functions. For example, our article "20 issues of porting C++ code on the 64-bit platform" was published in March, 2007...
...
Sep 14 2009
OOO "Program Verification Systems" Company employees will deliver a report at CEE-SECR 2009 conference
Andrey Karpov
The report by OOO "Program Verification Systems" employees dealing with the issue of "Early Error Diagnostics in Parallel Programs" has been scheduled in the program of the 5th Central and Eastern European Software Engineering Conference in Russia 2009 (CEE-SECR 2009).
...
View more Pagination arrow previous
Showing: - of 1308
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept