Does anyone use the clang static analyzer for C / objective-C? Is it good or not?

I know of a question where someone mentioned clang static analyzer but did not comment further. Most of the answers pointed to the lint family, which frustrated me from time to time due to most of the false positives.

I noticed the clang static parser when reading the Xcode release notes. I tried this and it only produced one spurious result of ~ 20,000 lines from multiple projects. The logic behind this false positive is a little tricky, which deceives the analyzer. But what about false negatives? Will the clang static analyzer miss many potential bugs? Does anyone have more experience? In general, does a static analyzer really help reduce errors?

Thanks in advance.

+2


source to share


1 answer


In fact, I just read about it on one of the blogs I follow a few months ago. I've been reading this guys blog since December 2008. He has a really great overview / tutorial on using a static analyzer. Check it out .



+3


source







All Articles