clang-static-analyzer

The Xcode 4 static analyzer reports in my code some false positives. Is there any way to suppress them? I found a solution: false positives (like the Apple singleton design pattern) can be avoided with: #ifndef __clang_analyzer__ // Code not to be analyzed #endif Analyzer will not analyze the code between those preprocessor directives. Take a look at this page which shows how to use several #defines to annotate objective-c methods and parameters to help the static analyzer (clang) do the right thing http://clang-analyzer.llvm.org/annotations.html From that page: The Clang frontend supports

I have the following method in a NSDictionary category, to do a deep copy, which works fine. I just upgraded from Xcode 4.1 to 4.2, and the Analyze function gives two analyzer warnings for this code, as indicated: - (id)deepCopy; { id dict = [[NSMutableDictionary alloc] init]; id copy; for (id key in self) { id object = [self objectForKey:key]; if ([object respondsToSelector:@selector(deepCopy)]) copy = [object deepCopy]; else copy = [object copy]; [dict setObject:copy forKey:key]; // Both -deepCopy and -copy retain the object, and so does -setObject:forKey:, so need to -release: [copy release