Vulncheck is a very handy static source-code analyzer for GCC. It’s not a competitor for Coverty, but it still can help a lot to discover some possible bugs and vulnerabilities.
Vulncheck has just been updated to GCC 4.2.1. Check out the Vulncheck web site in order to read the paper and to download the patch.