Re: Static Analyzer Question
Re: Static Analyzer Question
- Subject: Re: Static Analyzer Question
- From: Ken Thomases <email@hidden>
- Date: Wed, 30 Sep 2009 17:04:28 -0500
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 (email@hidden)
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:
This email sent to email@hidden