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 life easier, not harder. This blog is about Static Analysis, and how to make it work for you, not against you.
Articles
Here is what I wrote so far:
-
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…
-
Defensive Coding – its love story with Static Analysis
Defensive coding improves software quality, but it has downsides. In this article we discuss why…