Static Analysis
-
Software Development
The Halting Problem, Rice’s Theorem,and the Walls They Build
Why no algorithm — and no AI model — can fully decide what programs do, and what that means for…
Read More » -
Software Development
Building Lightning-Fast Program Analysis with Soufflé and Datalog
When you’re trying to understand what a program does—tracking how data flows through it, finding security vulnerabilities, or optimizing code—you…
Read More » -
Software Development
Can Static Analysis replace Code Reviews?
In my last post, I explained how to do code reviews properly. I recommended taking advantage of static analysis tools…
Read More » -
Software Development
Findbugs Warnings By Sample
The FindBugs™ bug descriptions of the online documentation are concise and well written. Unfortunately, some parts of the descriptions are…
Read More » -
Software Development
Code Forensics
How do you know if using code metrics really does help to produce code with fewer bugs. I am convinced…
Read More » -
Software Development
Can you get more out of Static Analysis?
When it comes to static analysis, Bill Pugh, software researcher and the father of Findbugs (the most popular static analysis…
Read More »
