哪些功能注释标志可用于 Coverity Scan？
What function annotation flags are available for Coverity Scan?
Coverity Scan tuning documentation 讨论了向源文件添加函数注释。列出了三个选项：
+kill +alloc +free
但是，在同一页面上有一个 link 示例文件，该文件使用了目前尚未见过的标志：
这些标志是什么意思？还有哪些其他标志可用于函数注释，它们记录在何处？
Coverity Scan tuning documentation 讨论了向源文件添加函数注释。列出了三个选项：
+kill+alloc+free
但是，在同一页面上有一个 link 示例文件，该文件使用了目前尚未见过的标志：
这些标志是什么意思？还有哪些其他标志可用于函数注释，它们记录在何处？