The id Software company possesses a PVS-Studio license. However, we decided to test the source codes of Doom 3 that have been recently laid out on the Internet. The result is the following: we managed to find just few errors, but still they are there. I think it can be explained by the following fact. [...] Read more
While communicating with people on forums, I noticed there are a few lasting misconceptions concerning the static analysis methodology. I decided to write a series of brief articles where I want to show you the real state of things. The third myth is: “Dynamic analysis performed by tools like valgrind for C/C++ is much better [...] Read more
The Intel company holds a lot of specialist training programs, carries out programming contests, invites people to meetings and free conferences. Unfortunately, we often miss such events, and one gets upset on knowing that he/she did not participate in an already finished event. By the way, participating in Intel contests often ends with a participant [...] Read more
While communicating with people on forums, I noticed there are a few lasting misconceptions concerning the static analysis methodology. I decided to write a series of brief articles where I want to show you the real state of things. The second myth is: “Expert developers do not make silly mistakes that are mostly caught by [...] Read more
While communicating with people on forums, I noticed there are a few lasting misconceptions concerning the static analysis methodology. I decided to write a series of brief articles where I want to show you the real state of things. The first myth is: “A static analyzer is a single-use product”. This is how this statement [...] Read more
By chance, we have checked the Clang project. I think some developers will be curious about the results. Presently PVS-Studio uses the external preprocessor of Microsoft Visual C++, which is a large disadvantage. Visual C++’s preprocessor is extremely slow and has some errors we cannot fix. Yes, do not be surprised that the preprocessor works [...] Read more
At first I wanted to title this post “How PVS-Studio enables cheap integration of static code analysis into the development process” but I decided not to do it because of the ambiguous interpretation of the word “cheap”. So I will tell you about one engineering problem we had to solve constantly to enable people to [...] Read more
At first I wanted to title this post “How PVS-Studio enables cheap integration of static code analysis into the development process” but I decided not to do it because of the ambiguous interpretation of the word “cheap”. So I will tell you about one engineering problem we had to solve constantly to enable people to [...] Read more
In this post I’ve collected a lot of links on the topic of 64-bit C/C++ software development. These include my articles and articles by my colleagues in the sphere of developing safe and efficient 64-bit code; FAQ’s and a training course. There are also many reviews of third-party articles on 64-bit software development. Enjoy yourself [...] Read more
I decided to collect all the resources on static code analysis in one place. Surfing by the links you will learn what static code analysis is, what for it is used and what static analysis tools exist. You will read interesting articles and if you wish, you may join a group discussing the topic under [...] Read more
PVS-Studio now has an operation mode that will help you to find errors and misprints as soon as possible. The analyzer launches right after the files have been compiled and “blushes with shame” for your code if something goes wrong. The feature is currently available only for Visual Studio 2010 users. I wrote many times [...] Read more
