I was watching this presentation on Mozilla's static analysis tools:
http://www.galois.com/blog/2010/07/09/galois-tech-talk-video-large-scale-sta...
He is very fond of a new tool made by a recent PHD that was capable of handling Mozilla's massive codebase: sixgill.org
I noticed it's not listed at http://wiki.winehq.org/StaticAnalysis, so maybe there's some benefit to using it as well.
Thanks, Scott Ritchie