Jun 15Entertaining theory and practice for C++ programmersHello, C++ developers! You are serious and tough. But I know entertainment and humor are not alien to you. That’s why today I’m sharing a couple of cool links here. First, I wrote an “anti-article”. I always write about how to perfect C++ code. But this time I’m on the…Programming1 min read
May 26How PVS-Studio prevents rash code changes, example N5The PVS-Studio static analyzer encompasses the symbolic execution mechanism. And today we have a great opportunity to demonstrate how this feature helps find errors. Our system regularly monitors the Blender project and emails me a daily report about potential errors in new or changed code. I don’t write a note…Programming3 min read
May 2415000 bugs in open-source projectsThe number of bugs in our bug list has exceeded 15000. This is exactly the number of bugs found by the PVS-Studio team in various open-source projects. Most excitingly, our bug collection is just a by-product of writing articles. Our team has been writing articles about open-source project checks since…Open Source3 min read
Apr 18How PVS-Studio prevents rash code changes, example N5The PVS-Studio static analyzer encompasses the symbolic execution mechanism. And today we have a great opportunity to demonstrate how this feature helps find errors. Our system regularly monitors the Blender project and emails me a daily report about potential errors in new or changed code. I don’t write a note…Programming3 min read
Feb 18How PVS-Studio prevents rash code changes, example N4If you regularly use a static code analyzer, you can save time on guessing why the new code doesn’t work as planned. Let’s look at another interesting error — the function broke during refactoring, and no one noticed that. …Blender3 min read
Feb 16How PVS-Studio prevents rash code changes, example N3Let’s continue with a series of small notes illustrating the PVS-Studio’s ability to quickly find new errors in the code. If the analyzer is regularly used, of course :). Today we have another bug in the Blender project. I monitor the Blender project for fun. Every day I get a…C3 min read
Feb 10An example of undefined behavior caused by absence of returnThis article contains a very interesting example. The absence of the return statement in a value-returning function leads to undefined behavior. It’s a perfect example of how wrong code can crash one day, even though it could work for many years. We inspect an error pattern that the SEI CERT…Cpp3 min read
Jan 18How PVS-Studio prevents rash code changes, example N2When developers do make mistakes, it’s often accidental or because the developers are in a hurry. These errors often make their way into small edits to the code. Let’s review one of these cases: a developer fixes an error and introduces a new one simultaneously.Blender3 min read
Dec 16, 20211000 eyes that don’t want to check open-source codeThere’s a myth that open-source software is better and safer that the closed one. This was reasonably questioned many times. People regularly find epic vulnerabilities in the open source code. These vulnerabilities have been there for a long time. I think the project quality depends on how the development managers…Programming3 min read
Nov 1, 2021The answer about the factplusplus projectI was asked to check the logic output engine in the factplusplus application’s description logics. So I looked at the project. It was small, its error density — low. So, overall, everything looked good. At least I found nothing that warranted writing an article. I did not even plan to…Programming3 min read
