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 »

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 »

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 »

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 »

Code Forensics

How do you know if using code metrics really does help to produce code with fewer bugs. I am convinced…

Read More »

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 »