Make Static Analysis work for You
Software has too many bugs. Too many stupid bugs. Some for technical reasons, and some for human reasons. However, many of them are easily avoidable, if we only use the right technology. With this blog, I want to talk about that technology, and how to apply it in “more human” ways that make our lives easier, not harder. This blog is about Static Analysis and how to make it work for you, not against you.
For humans, by humans.
Articles
Here is what I wrote so far:
-
Coding Guidelines – How to take smart shortcuts
Coding Guidelines are always useful. If you feel differently, you are doing it wrong. In…
-
Coding Guidelines – how they work, and why we fail to love them
Coding guidelines are always useful. If you feel differently, you are doing it wrong. In…
-
Reducing the Noise: Teaching Static Analysis new facts
In this article, I share a simple trick that reduces warnings in your Static Analysis…
-
Error Absorption: When Static Analysis hides your bugs
After Static Analysis has found a bug, it must make assumptions about how to continue…
-
Formal Methods: The strictest, most powerful kind of Static Analysis
Have you ever wished that you could find every bug in your software, fix each…
-
Static Analysis vs. GenAI: Who is the superior bug hunter?
GenAI will not replace Static Analysis. Yes, GenAI can understand code in any language, and…