Firmware development, even when done not in assembler for exotic architectures but in plain C for i386/amd64, is a pretty tough job, where a single bug can cost too much - up to a major failure...
64-bit issues are pretty hard to detect because they are like a timebomb: it may take quite a while before they show up. The PVS-Studio static analyzer makes it easier to find and fix such...
We liked the article "Criticizing the Rust Language, and Why C/C++ Will Never Die" very much. We offer the author that we will do the translation on our own, and publish it in our blog. He...
"I've finally figured out unit economics!", I exclaimed today to myself. Don't rush to close the article if you, too, know what they are because what I have figured out concerns specifically MY...
This article was initially meant as a review of bugs found in the FreeCAD open-source project but eventually took a bit different direction. It happened because a considerable portion of the...
In February 2014, the Argentinian studio OKAM made public the source code of their multi-platform game engine Godot Engine and not so long ago, version 1.0 was released. As you have already...
One odd year ago, we decided to carry out an experiment, and release a tool for small teams and single developers as an alternative to the PVS-Studio static code analyzer. This is how a...
In one of the articles at Visual C++ Team Blog, the developer team were discussing the static code analyzer that would ship with Visual Studio 2015. According to their data, there will be...
This is the second and last part of the large article about analysis of the Haiku operating system. In the first article, we discussed a variety of possible errors all of which one way or...
Operating systems are among the largest and most complicated software projects, and that means they perfectly suit the purpose of demonstrating the capabilities of static code analysis. After...
