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

Posts

Dec 28 2009
PVS-Studio 3.43 New Version Released
Andrey Karpov
We have released PVS-Studio 3.43 version. This version makes developers' lives much easier, because we have enhanced both the mechanism of functioning as well as its user's...
...
Dec 28 2009
Many cores are good but a fast hard disk is good too
Evgenii Ryzhkov
Developing the code analyzer PVS-Studio we consider the task of increasing the tool's performance. Such solutions are quite slow, so the programmer who possesses even a powerful computer...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
Dec 28 2009
Embarcadero C++Builder and 64-bit code
Andrey Karpov
Some time ago, we wrote several letters to Embarcadero offering them to collaborate with us and use our tools to test 64-bit C/C++ code. Our idea was to integrate PVS-Studio with C++Builder...
...
Dec 28 2009
The role of "Fibonacci numbers" in the history of parallel programming
Andrey Karpov
Fibonacci numbers are the elements of the number sequence 1, 1, 2, 3, 5, 8, 13, 21, 34, ... where each following number equals the sum of the two previous ones. Fibonacci numbers can be seen in...
...
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...
...
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...
...
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...
...
View more Pagination arrow previous
Showing: - of 1605