In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development. And it is so. But there is another important development line...
A task solution can be paralleled at several levels. There are no definite boundaries between these levels, and it is difficult to refer a particular paralleling technology to any of them...
The terms verification and validation are related to software quality checking. We use these terms in our articles and reports. Very often we have heard various comments and debates concerning...
We continue the cycle of posts about 64-bit errors detected in real applications. Time passes, demands for memory being consumed grow more and more, and now the time has come when somebody decides...
In the previous blog-post I promised to tell you why it is difficult to demonstrate 64-bit errors by simple examples. We spoke about operator[] and I told that in simple cases even incorrect...
In PVS-Studio 3.43, we revised the way how Viva64 analyzer detects errors in the classes serving as containers (arrays). Before, we have stuck to the principle that if a class has operator[...
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...
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...