Xcode analyzer "efficiency"

Question

I spent 1 hour on solving a bug: i was releasing an object that I didn't have ownership (ie I didn't send it copy, alloc, new). The analyzer (Cmd-Shif-A) didn't detect that error while it can detect an object that hasn't been released.

I think it's not normal, is it a bug or a "missing functionality"?

Answer 1

Static analysis is not magic; there are many limitations and the analyser that Xcode uses is a work in progress. It is there only as an aid, it can't totally debug your application for you.

If you think you have come across a case where you think the analyser could have found the problem, then report a bug.