[libdispatch-dev] Static Analysis for leaks with dispatch_objects
devlists at shadowlab.org
Wed Oct 26 01:04:16 PDT 2011
You may also want to launch the idea on the clang mailing list.
They added some generic annotations to handle ownership of an object, which can be used with any allocation scheme (malloc/free, my_library_malloc/my_library_free, …).
They maybe want to add other generic annotations to handle reference counted objects, which could then be used for "dispatch object" (and may be used to replace the less generic ns/cf annotations).
And as a clang is a two-way open source project (unlike libdispatch which only push batch of changes once in a while in a read only repository), they have more freedom to talk about future plans.
Le 25 oct. 2011 à 23:17, Daniel A. Steffen a écrit :
> Hi Mike,
> we are definitely very aware of this need, but I can't comment on future plans to address it.
> Please feel free to file a bug on bugreporter.apple.com asking for analyzer support for dispatch objects.
> On Oct 25, 2011, at 10:24, Mike Lewis wrote:
>> I was wondering if there were any plans on adding something to the equivalent of the annotations __attribute__((cf_returns_retained)) to GDC function calls for dispatch objects. Since they're not CFTypes I realize support to clang's static analyzer need to be added. After using a lot of the new dispatch_io calls and having manage dispatch_data_t objects, it seems like there is a much larger use case for analysis support.
>> Michael Lewis
>> mikelikespie at gmail.com
>> libdispatch-dev mailing list
>> libdispatch-dev at lists.macosforge.org
> libdispatch-dev mailing list
> libdispatch-dev at lists.macosforge.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the libdispatch-dev