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: articles

All Articles Video Books Entertainment
Errors
C++ C# Java

All tags:

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...
...
#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...
...
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...
...
#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...
...
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
1
...
126 127 128 129 130
...
142
Showing: - of 1420