Searching for Open Source Lint comes up with this page, which appears to contain a few other good tools too:
http://en.wikipedia.org/wiki/List_of..._code_analysis

--
Mats