【发布时间】:2024-01-23 07:17:01
【问题描述】:
我知道related question 有人提到了clang static analyzer,但没有提供更多的cmets。大多数答案都指向 lint 家族,由于大量误报,该家族不时让我失望。
我在阅读 XCode 发行说明时注意到了 clang 静态分析器。我已经尝试过了,它只在几个项目的约 20,000 行中产生了一个误报。误报背后的逻辑有点复杂,这会欺骗分析器。但是假阴性呢? clang 静态分析器会漏掉很多潜在的错误吗?有人有更多经验吗?更一般地说,静态分析器真的有助于减少错误吗?
提前致谢。
【问题讨论】:
标签: c code-analysis