Clang static analysis results for dmd

[Walter Bright]

On 7/28/2011 5:19 PM, bearophile wrote:
> Thank you for your answers. It's always interesting when "theory" (of
> practical-purposed software tools) meets the road of the experiment reality.
> I hope Clang has not wasted too much of your time.

The thing is, I've tried the things Clang tries way back in the 80's. It's 
attempting the impossible. C is just not amenable to static proofs (if I were a 
better theoretician I might be able to show that this is partially related to C 
being memory unsafe).

Even so, I still plan to go through them all just to be sure.

Clang does put out a nice report, though, far better than I attempted.

A kickass bug finding tool that really *does* work on C/C++ code is valgrind.