什麼功能註釋標誌可用於Coverity掃描？

Question

Coverity Scan tuning documentation討論瞭如何將函數註釋添加到源文件。有列出了三個選項：

• +kill
• +alloc
• +free

然而，從同一個頁面有一個實例文件的鏈接使用AS-的，又看不見的標誌：

• toctou
• string_size

這些標誌是什麼意思？還有哪些其他標誌可用於功能註釋，以及它們在哪裏記錄？

Answer 1

顯然，括號內的內容應該是Coverity事件標記名稱。註釋應立即先與它的假陽性線，並會導致該缺陷被標記爲故意（只要它則標記的事件相匹配。）

例如，toctou事件標記名稱是詳細here 。

Source