Subscribe
Advertisements
Tag Archives: static analysis
Faces of undefined behavior
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 advanced-c++, correctness, gotchas, static analysis, stating intentions, undefined behavior
1 Comment
Help the compiler warn you
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
Concealing bugs
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 contracts, correctness, static analysis, stating intentions, undefined behavior
21 Comments
