Every now and then, we have to write articles about how we've checked another fresh version of some compiler. That's not really much fun. However, as practice shows, if we stop doing that for...
Few projects can do without outside libraries and other useful ready-made solutions. However, analyzers can see the whole code and check it with abandon. That's why sometimes it's worth pointing out the spots where they should stop and analyze nothing. In this video, w…
Somehow, we've happened to check most of the libraries making up a collection called "Awesome hpp". These are small header-only projects in C++. Hopefully, the information about the bugs we've...
Just before the release of the "Amnesia: Rebirth" game, the vendor "Fractional Games" opened the source code of the legendary "Amnesia: The Dark Descent" and its sequel "Amnesia: A Machine For...
DeepSpeech is an open-source speech recognition engine developed by Mozilla. It's pretty fast and ranks high, which makes its source code an interesting target for static analysis. In this...
By writing the article "Upsetting opinions about static analyzers" we were supposed to get it off our chest and peacefully let it all go. However, the article unexpectedly triggered robust...
Static analysis can always back you up when the time comes. But by the time it is done, you will have drunk gallons of coffee... That's why developers of these utilities are always looking for a way to make users' life easier and save time. The incremental analysis be…
As you know, we regularly post new content on programming and various interesting events from our company's life on our blog. The range of topics is expanding, and the number of articles is...
Static analysis tools have advanced far over the time they've been around. They no longer resemble the "linters" that were in active use 20 years ago. But some programmers still view them...
If you have been programming for a while, you know the worst thing that can happen to you is one little bug inside your code that you can’t find. It is so frustrating and time consuming and can really demotivate you from coding. So, Today I am going to show you how to …
