Category: Theory

  • Formal Methods: The strictest, most powerful kind of Static Analysis

    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 of them, and have a perfect piece of software? This article explains how this is possible with Formal Methods, why you might already use them without knowing it, and where they have limitations. It’s time to talk about Formal Methods,…

  • Stupid False Positives: Inevitable and cryptic, yet easy to fix

    Stupid False Positives: Inevitable and cryptic, yet easy to fix

    ,

    The big weakness of Static Analysis is, that it can throw needless warnings, even if our software is “perfect”. In this article, we learn why Static Analysis must do that, why it can be wiser to change your code instead of managing warnings, and some tricks to keep your sanity in the process. I often…

  • Under the Hood of Static Analysis, and how to boost your results

    Under the Hood of Static Analysis, and how to boost your results

    The idea of Static Analysis sounds simple: Read the code, check each line, and report the bad stuff. However, it is far from easy. In this article, we look at the challenges that it has to overcome, and dive a little bit into the theory. You will see that it is much more than just…