I'm interested in developers opinions about current bug finding tools and static analysis tools, about their usability and usefulness in everyday software development.
So, do you use static analysis tools or bug finding tools, either yourself as a developer or in your company? If so, do you find them useful? How well are they integrated into your workflow? What kind of information or diagnostics would like them to give you? If not, have you ever used this kind of tools in the past and what was your main concern?
Generally though I found they produced more noise than value, so these days when I audit code I do it from start to finish, though I'll certainly have a quick-glance at any code that involves:
* fopen
* popen
* getenv
* or bind/accept
I guess that means "no", not really, and despite that I've reported (security) bugs in applications as diverse as Emacs, Firefox, and GNU Readline.