Quels sont les indicateurs d'annotation de fonction disponibles pour Coverity Scan?

Question

L'analyse de couverture tuning documentation parle de l'ajout d'annotations de fonction aux fichiers source. Il y a trois options énumérées:

• +kill
• +alloc
• +free

Cependant, de cette même page, il y a un lien vers un fichier exemple qui utilise comme-de-encore des drapeaux invisibles :

• toctou
• string_size

Que signifient ces indicateurs? Quels autres indicateurs sont disponibles pour l'annotation de fonction et où sont-ils documentés?

Answer 1

Apparemment, le contenu entre les parenthèses doit être le nom de l'étiquette d'événement de couverture. Le commentaire doit précéder immédiatement la ligne avec le faux positif, et fera ce défaut d'être signalée comme intentionnelle (tant qu'elle correspond à l'événement Flagged.)

Par exemple, le nom de la balise d'événement toctou est here détaillée .

Source