I find it very interesting how static analysis tools can find bugs on even the most stable and audited code bases. The analysis of PostgreSQL earlier this year[1] comes to mind.

I'll make sure to include static code analysis as part of my build workflow for my current project.

[1] https://news.ycombinator.com/item?id=6962475