• Checking Bitcoin

    Don't expect anything epic from this article. We have checked the Bitcoin project's source code with PVS-Studio and found just a couple of suspicious fragments. Which is no wonder: I guess there are few programmers who haven't checked it already. But since we have done our check too, we need to write a small post about it, pro forma, so to say. Read more
  • Brief Comparison of PVS-Studio and CppCat

    As many of you know, we develop two code analyzers intended for checking C/C++ projects: PVS-Studio and CppCat. Despite our attempts to make the difference between the two as distinct and obvious as possible, there is still one question that developers keep asking: What are the target audiences of PVS-Studio and CppCat? Below is the answer to this question in one picture. Read more
  • How We Test the PVS-Studio and CppCat Code Analyzers

    Hi everyone. Today I want to tell you about how we test our analyzers of C/C++ source code CppCat and PVS-Studio before releasing their new versions. If you are not familiar with this product line yet, I do recommend you to do it right now. No, I'm not trying to talk you into installing these wonderful tools; it's just that it will help you understand this article quicker and easier :-). Read more
  • stdafx.h for Novices

    This article is meant for those programmers who are only getting started with the Visual Studio environment and trying to compile their C++ projects under it. Everything looks strange and complicated in an unfamiliar environment, and novices are especially irritated by the stdafx.h file that causes strange errors during compilation. Pretty often it all ends in them diligently turning off all precompiled headers in every project. We wrote this article to help Visual Studio newcomers to figure it all out. Read more
  • PVS-Studio and CppCat Team Expanding Their Horizons Through Outsourcing

    As you know, our main activity is development of the code analyzers PVS-Studio and CppCat. Although we have been doing this for a long time now and - as we believe - quite successfully, an unusual idea struck us recently. You see, we do not use our own tools in exactly the same way our customers do. Well, we analyze the code of PVS-Studio by PVS-Studio of course, but, honestly, the PVS-Studio project is far from large. Also, the manner of working with PVS-Studio's code is different from that of working with Chromium's or LLVM's code, for example. Read more
  • Handling False Positives in PVS-Studio and CppCat

    It occurred to me recently to reanalyze the Newton Game Dynamics physics engine. The project's code is very high-quality, so there were almost no genuine bugs detected, but I did get a few dozens of false positives. Seems like there's nothing to write about, doesn't it? Well, I thought I should write about how to handle false positives and how to avoid them. I found the Newton Game Dynamics project a good example to demonstrate that on. Read more
  • Firefox Easily Analyzed by PVS-Studio Standalone

    We already checked Mozilla Firefox with the PVS-Studio analyzer three years ago. It was pretty inconvenient and troublesome at the time. You see, there is no Visual Studio project file for Firefox – the build is done with the help of makefiles. That's why you can't just take and check the project. We had to integrate PVS-Studio into the build system, which appeared a difficult task. If I remember it rightly, it all resulted in successfully analyzing only a part of the project. But everything is different now that we have PVS-Studio Standalone. We can now monitoring all compiler launches and easily check the project. Read more
  • 64-bit Errors Are Here at Last

    As a person not indifferent to 64-bit errors, I decided to write a small comment to the article "Buggy Security Guidance from Apple". Read more
  • The Last Line Effect

    I have studied numbers of errors caused by using the Copy-Paste method and can assure you that programmers most often tend to make mistakes in the last fragment of a homogeneous code block. I have never seen this phenomenon described in books on programming, so I decided to write about it myself. I called it the "last line effect". Read more
  • CppCat Checks OpenMW: Not All is Fine in the Morrowind Universe

    I have checked the OpenMW project by CppCat and written this tiny article. Too few bugs were found, but I had been asked to write about this check, so here you are. Read more