Explication de l'analyseur statique Clang sur les bibliothèques tierces propriétaires des références

Question

Je gère un projet Objective-C qui utilise une bibliothèque C qui implémente un environnement de script récupéré par la corbeille. Dans plusieurs cas, je dois placer un objet Objective-C conservé dans le champ privé d'un objet de script. L'objet Objective-C est ensuite libéré dans un rappel finalize.

L'appel à définir la valeur privée ressemble à ceci, avec la sémantique, espérons évidentes:

if (!JS_SetPrivate(context, jsSelf, [self retain]) /* handle error */ 

Le rappel Finaliser fait ceci:

id object = JS_GetPrivate(context, jsSelf); 
if (object != nil) 
{ 
    [object clearJSSelf:jsSelf]; // Remove reference to JS wrapper. 
    [object release]; // JS wrapper owned a reference. 
    JS_SetPrivate(context, jsSelf, nil); 
} 

L'analyseur statique Clang n'a pas d'objection au hasard libérer dans le rappel finalize, mais où la valeur est initialement définie, il dit "fuite potentielle d'un objet alloué sur la ligne N."

Y at-il une annotatio n ou un modèle non-laid qui supprimerait ce message? (Je préfère ne pas faire des choses idiotes comme [object performSelector:@selector(retain)] Je préfère aussi ne pas jouer avec l'en-tête en déclarant JS_SetPrivate Notez également que la valeur donnée à JS_SetPrivate est un pointeur arbitraire, pas nécessairement un objet Objective-C

Answer 1

Vous pouvez utiliser le nouvel attribut NS_CONSUMED sur JS_SetPrivate:

http://clang-analyzer.llvm.org/annotations.html#attr_ns_consumed