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.

Home
>
Posts

Posts

All Articles Video Books Entertainment
Errors
Dec 25 2009
One of the Answers to the Question "Who Needs All that Parallelism at All?"
Andrey Karpov
One can often find discussions on the net that multicore processors, as well as parallelism, are needless, and all this is tricks of one (two or three) companies, which need to sell new...
...
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...
...
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 #64bit
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...
...
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...
...
#Cpp
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...
...
#Release
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...
...
#Cpp #64bit
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...
...
View more Pagination arrow previous
1
...
124 125 126 127 128
...
141
Showing: - of 1401