tags:

views:

134

answers:

1
+1  Q: 

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

I am aware of a related question where someone mentioned the clang static analyzer but gave no further comments. Most of answers pointed to the lint family which disappointed me from time to time due to the bulk of false positives.

I noticed the clang static analyzer when I read XCode release notes. I have tried it and it only produced one false positive out of ~20,000 lines from several projects. The logic behind that false positive is a bit complicated which fools the analyzer. But what about false negatives? Will clang static analyzer miss a lot of potential errors? Does anyone has more experience? More generally, does static analyzer really help to reduce bugs?

Thanks in advance.

+2  A: 

I actually just read about this on one of the blogs I follow a few months back. I've been reading this guys blog since about December of 2008. He had a really great review/tutorial on using the static analyzer. Check it out.

Lucas McCoy  2009-09-29 15:38:08
Actually I more like to see an article comparing clang and lint. However, I guess few people are using static analyzers. Anyway, the link you provide is helpful when few articles are around. Thanks.
 2009-09-29 22:38:23

related questions

any good tool for makefile generation?
How do you pass a function as a parameter in C?
Where should a veteran C programmer start in order to master Java ?
Any good book on best practice and guidelines in developing a SDK in C?
How do you determine the size of a file in C?
Decoding printf statements in C (Printf Primer)
Shift operator in C
How to avoid redefining VERSION, PACKAGE, etc.
Alpha blending sprites in Nintendo DS Homebrew
When should I use type abstraction in embedded systems
How to implement continuations?
What are the barriers to understanding pointers and what can be done to overcome them?
Anyone have experience creating a shared library in MATLAB?
String.indexOf function in C
Passing multidimensional arrays as function arguments in C
C/C++ library for reading MIDI signals from a USB MIDI device
Choosing a static code analysis tool
How do you printf an unsigned long long int?
Good STL-like library for C.
Rockbox audio format
Why am I getting a malloc: double free error with realloc()?
Should I learn C?
GTK implementation of MessageBox
Is gettimeofday() guaranteed to be of microsecond resolution?
How to use the C socket API in C++ on z/OS