Blog

  • stdafx.h for Novices

    25.06.2014
    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

    23.06.2014
    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

    20.06.2014
    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

    15.06.2014
    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

    02.06.2014
    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

    31.05.2014
    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

    28.05.2014
    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
  • Comparing Functionalities of PVS-Studio and CppCat Static Code Analyzers

    26.05.2014
    Our company develops two code analyzers to check C/C++ projects: PVS-Studio and CppCat. In this article, we are going to tell you about the functional differences between these two tools. Read more
  • Tesseract. Recognizing Errors in Recognition Software

    21.05.2014
    Tesseract is a free software program for text recognition developed by Google. According to the project description, "Tesseract is probably the most accurate open source OCR engine available". And what if we try to catch some bugs there with the help of the CppCat analyzer?. Read more
  • The CppCat Analyzer Checks TortoiseGit

    18.05.2014
    In most of our articles about project checks, we mention that bugs are found by the PVS-Studio static code analyzer. In certain cases – when dealing with projects of a complex structure – it is this particular analyzer that is needed. However, many developers will also appreciate its lightweight version, the CppCat analyzer. In this connection, we decided to use CppCat this time, when checking the TortoiseGit project. Read more