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 C++ compiler in Visual Studio Team System (unlike Visual Studio Standard or Professional editions) has the command line switch /analyze. This switch allows you to launch the static...
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...
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...
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...