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.
