Coverity 与嵌套函数 : PARSE_ERROR error code

Question

看起来 Coverity 不处理 C 代码中的嵌套函数，我收到很多 PARSE_ERROR。该代码不是我的，虽然会使用 Coverity 对其进行扩展和扫描，但不太可能仓促更改。有任何已知的解决方法可以对其进行扫描吗？

Answer 1

cov-emit 目前不支持 GNU 嵌套函数。然而，这些情况应该由错误恢复机制来处理——缺陷应该以 RW 为前缀，表示可恢复的错误。

cov-emit 的错误恢复在每个函数的基础上工作，因此当它看到这样的错误时，它不会发出受影响的函数(在这种情况下，嵌套的函数也不会发出)也不包含函数)。这可能会导致一些误报(以及潜在的误报)，但只要您仍然捕获大部分代码(> 95% TU 左右，假设代码库中的大多数函数不使用嵌套函数)，这些应该是可以安全地忽略。