c - Coverity vs 嵌套函数：PARSE_ERROR 错误代码

Question

看起来 Coverity 不处理 C 代码中的嵌套函数，我得到了很多 PARSE_ERROR。该代码不是我的，不太可能匆忙更改，尽管它会被扩展并使用 Coverity 扫描。是否有任何已知的解决方法可以对其进行扫描？

Answer 1

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

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