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
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
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 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.

Try for free
Support
personal account arrow down
Authorization Registration
En language selector arrow down
English
Français
Home
>
Posts

Posts

All Articles Video Entertainment
Errors
Search
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.
...
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
#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 applications, where size_t and ptrdiff_t types provide high performance, the ability...
...
#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, 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...
...
#Cpp #64bit
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).
...
Sep 14 2009
Cannot process the whole file "foo.cpp"
Andrey Karpov
Sometimes PVS-Studio analyzer cannot analyze a file with a source code completely. There are various reasons. Perhaps, the analyzer did not manage to analyze an especially complex template or something of the kind. Rarely, but it happens. As a rule this is not crucial...
...
#Release
Sep 07 2009
PVS-Studio 3.20: New Version Released
Andrey Karpov
OOO "Program Verification Systems" has released a new version of static analyzer PVS-Studio, 3.20. All the changes in the program refer to the inner structure of the program only, while from the point of view of the user, the interface has not undergone changes...
...
Sep 07 2009
Processing of exceptions inside parallel sections
Andrey Karpov
Some time ago I wrote in the blog about some problems (see note "OpenMP and exceptions") occurring when an exception excesses the boundaries of parallel sections. I have also told you that an exception can be generated by new operator and that is must be caught and...
...
View more Pagination arrow previous
1
...
121 122 123 124 125
...
134
Showing: - of 1334

Want to try PVS-Studio for free?