Subscribe
Advertisements
Tag Archives: static analysis
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
