checker-knowledge

Coverity のチェッカー（NULL_RETURNS・RESOURCE_LEAK・OVERRUN などの標準チェッカー、MISRA C:2012 と MISRA C++ の規則、CERT C / C++ の規則）ごとに、何を指摘するか、誤検知になりやすい形、確かめ方、直し方の定石、逸脱コメントの言い方、判定の目安をまとめた資料。「MISRA 10.4 の警告はどう見ればいい？」「CERT ERR33-C は逸脱でいい？」「FORWARD_NULL でよくある誤検知は？」のように、チェッカーや規則の見方を聞かれたら、答える前に必ず使う。C / C++ の Coverity の警告を調べる・直す・逸脱コメントを書くときにも、チェッカー名に合う観点を確かめるために使う。