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

Dec 24 2009
Program Errors That Do Not Exist
Andrey Karpov
Not long ago, one user of our code analyzer PVS-Studio addressed us; he was complaining about the work of the tool during the verification of one of his...
...
Dec 21 2009
Why A + B != A - (-B)
Andrey Karpov
While developing Viva64 analyzer intended for detecting 64-bit errors, I sometimes encounter interesting ways of code behavior. I would like to show you one example that is not very...
...
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
Dec 17 2009
Does the result of static code analysis depend on the compiler being used?
Evgenii Ryzhkov
At one of the many discussions of static code analyzers, we mentioned our tool PVS-Studio as usual :-) . One of the participants asked: "Does the result of a static code analyzer depend on...
...
Dec 10 2009
Issues in real programs - what errors are not there in the world...
Andrey Karpov
When testing the analyzer PVS-Studio on one of the projects we found an interesting error. This error does not refer to the topic of 64-bits although its consequences are diagnosed as...
...
Dec 09 2009
VivaCore FAQ
Andrey Karpov, Evgenii Ryzhkov
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification...
...
Dec 09 2009
PVS-Studio 3.42 New Version Released!
Andrey Karpov
PVS-Studio 3.42 new version contains several error corrections. The full list of corrections is given...
...
Dec 08 2009
Tachyon and Parallel Lint
Andrey Karpov
In the previous post "Cold Tachyon" we showed an alternative approach to detecting parallel errors with the static code analyzer PVS-Studio (VivaMP). The tool PVS-Studio (VivaMP) was compared...
...
Dec 08 2009
Cold Tachyon
Andrey Karpov
A bit more than a month ago, the first Russian online-seminar "Intel Parallel Studio workflow" by Intel took place. Kirill Mavrodiev, who was participating in the event, demonstrated how one...
...
Dec 03 2009
64-bit code issues in real programs: pointer type change
Andrey Karpov
Explicit type conversions often mask errors related to a change of a pointer type. One of such errors is casting of a pointer to 32-bit objects into a pointer to 64-bit...
...
Dec 02 2009
We have participated in the exhibition as part of the conference "Investments in High Technologies"
Andrey Karpov
On December 2, there took place the Second conference by Microsoft "Investments in High Technologies. Environment of Innovative Business Activities" in Moscow. The conference was accompanied by...
...
View more Pagination arrow previous
Showing: - of 1390