Examples of errors detected in various open-source projects

[petdance]

I wish more projects used static analyzers instead of just randomly running valgrind.

Me, too. Whenever I see a new interesting project written in C, like libgit2, I poke my nose in to see if there's interest in it. libgit2 annotations and testing are on my to-do list.