On Sep 29, 2009, at 8:00 PM, Dave DeLong wrote:
To continue a bit on this idea, I believe that the static analyzer only analyzes a single method at a time. I don't believe it recurses into called methods to do analysis. (Can any of the clang- sa folks confirm this?)
It will perform analysis for statically bound calls, which is restricted to functions, not methods. As you suspect, since method calls are dynamically bound, the analyzer has no way of knowing what actual implementation will be invoked at runtime.
Cheers, Ken _______________________________________________ Cocoa-dev mailing list (Cocoa-dev@lists.apple.com) Please do not post admin requests or moderator comments to the list. Contact the moderators at cocoa-dev-admins(at)lists.apple.com Help/Unsubscribe/Update your Subscription: http://lists.apple.com/mailman/options/cocoa-dev/archive%40mail-archive.com This email sent to arch...@mail-archive.com
