Sure.

Coverity is a good tool.  Too bad it's expensive.