Tag Archives: static analysis

Treating symptoms instead of the cause

Posted on November 22, 2018 by Andrzej Krzemieński

Compiler warnings can sometimes help us find bugs before we even build our program, but it only works provided that we can make use of the warnings. Especially, when we are aware that warnings detect only symptoms of the bugs … Continue reading →

Posted in programming | Tagged , , | 8 Comments

Faces of undefined behavior

Posted on October 27, 2018 by Andrzej Krzemieński

I have been busy recently (doing C++-related stuff) and cannot find a spare time for preparing a decent blog post. I expect that to change in November. For the interim I am posting here my last year’s talk at code::dive: … Continue reading →

Posted in programming | Tagged , , , , , | 1 Comment

Help the compiler warn you

Posted on January 24, 2018 by Andrzej Krzemieński

Compiler warnings are a very useful tool for detecting bugs in your program. Because you can enable them selectively, and because you can choose to turn them into hard errors on your compiler, you can in fact build a dialect, … Continue reading →

Posted in programming | Tagged , , , | 8 Comments

Concealing bugs

Posted on December 12, 2016 by Andrzej Krzemieński

Consider the following piece of program code. This program is expected to open file contents.txt, read names from it; then find a desired name, and do something with it. But the program will not do it, because I have a … Continue reading →

Posted in programming | Tagged , , , , | 21 Comments