Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
Posts

Posts

Sep 19 2012
Errors detected in the Visual C++ 2012 libraries
Andrey Karpov
Static code analysis is one of the error detection methodologies. We are glad that this methodology is becoming more and more popular nowadays. Visual Studio which includes static analysis as one...
...
Sep 11 2012
What does this code print?
Andrey Karpov
I have found a nice code fragment with an error in one project. The PVS-Studio analyzer noticed it. But I didn't believe it at first: I thought the analyzer had been mistaken and considered...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
Sep 10 2012
The compiler is to blame for everything
Andrey Karpov
Many programmers are very fond of blaming the compiler for different errors. Let's talk about...
...
Sep 03 2012
How to contact us
Andrey Karpov
If you want to ask us a question concerning PVS-Studio, its capabilities or ways to purchase it, we'll be glad to answer it. If you have any suggestions or you have noticed a bug in PVS-Studio...
...
Aug 31 2012
Some words about template checks
Andrey Karpov
The PVS-Studio analyzer sometimes generates mysterious messages mentioning a template class. For example: V614 Instantiate ReconstructMB<PlaneY, PlaneUV, color_format, false, 1>...
...
Feelings confirmed by numbers
Andrey Karpov
For a long time I was worried by some articles on the Internet in which the authors tried to judge about the usefulness of static code analyzers relying on analysis of small...
...
Aug 29 2012
100% code coverage by static analysis - is it that good?
Dmitry Novikov
Many programmers think that the more error messages a static code analyzer produces, the better. It would be true if all the messages hit the bull's eye, as they say. But this is impossible: the...
...
Aug 21 2012
Analysis of the Trans-Proteomic Pipeline (TPP) project
Andrey Karpov
To be honest, I don't know what the TPP project is intended for. As far as I understand, this is a set of tools to assist in research of proteins and their interaction in living organisms...
...
Aug 20 2012
Static analysis should be used regularly
Andrey Karpov
We have a practice of occasionally re-analyzing projects we have already checked with PVS-Studio. There are several reasons why we do so. For example, we want to know if we have managed to...
...
Aug 14 2012
Can I port code to a 64-bit platform under a 32-bit platform?
Andrey Karpov
Yes, you can do this if you use a cross-compiler that creates a native code for a platform different from that on which your code is...
...
View more Pagination arrow previous
Showing: - of 1596