Ask HN: What do you think of bug finding tools?

I do a PhD in program analysis and 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?