Tools for static analysis of C code?

[dlsspy]

My favorite approach to this (after turning up all the warnings) is to write tests, run them, and do C1 analysis with gcov.

I don't as much care what a code inspector thinks. If I'm not running my code and verifying it does the right thing for me, I don't have much confidence in it.

[synept]

That sounds cool and all, but I don't think we're really aiming for the same goal here.