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.