At risk of being off topic... what about splint www.splint.org? I've not delved into all its features ... it's GPL distributable. I'm not sure how well it handles c++ versus c code though.