Source Annotations

The Clang frontend supports several source-level annotations in the form of GCC-style attributes and pragmas that can help make using the Clang Static Analyzer more useful. These annotations can both help suppress false positives as well as enhance the analyzer's ability to find bugs. This page gives a practical overview of such annotations. For more technical specifics regarding Clang-specific an

[Nyoho]

Attribute 'ns_consumes_self' (Clang-specific)

[tsawada2]

静的解析のときに使うかもしれないのでメモ

[griffin-stewie]

命名規則的に反しているために leak と判定される場合は __attribute__((ns_returns_not_retained)) をつける。