Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
* Difference between Team and Enterprise
Didn't get our email?
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
Why do we ask to use Business Email?
New License
License Renewal
--Select currency--
USD
EUR
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
Why do we ask to use Business Email?
Didn't get our email?
* 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
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
Why do we ask to use Business Email?
Didn't get our email?
* 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 do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam

Webinar: Evaluation - 05.12

Registration
Home
>
Posts

Posts

All Articles Video Books Entertainment
Errors
Oct 05 2009
We Visited ISDEF 2009 Conference
Andrey Karpov
OOO "Program Verification Systems" has visited ISDEF 2009 conference, i.e. Independent Software Developers Forum. The conference was held during four days, on October 1 - 4, in Izmailovo ...
...
Sep 30 2009
Translation of our blog in the Russian part of software.intel.com!
Andrey Karpov
The corporative blog of our company devoted to 64-bit and parallel programming and also static code analysis is now translated on software.intel.com, in its Russian...
...
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 29 2009
We visited INFOSECURITY 2009 Exhibition
Andrey Karpov
On September 29, we visited INFOSECURITY 2009 exhibition, which took place in Moscow Krasnaya Presnya...
...
#Cpp #64bit
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...
...
#Release
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...
...
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...
...
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...
...
#Cpp #Knowledge #64bit
Sep 21 2009
About size_t and ptrdiff_t
Andrey Karpov
The article explains what size_t and ptrdiff_t types are, their purpose, and when to use them. The following information is especially valuable for developers starting to create 64-bit...
...
#64bit
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...
...
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...
...
View more Pagination arrow previous
1
...
135 136 137 138 139
...
148
Showing: - of 1478