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

Question

看起来Coverity没有处理C代码中的嵌套函数，我得到了很多PARSE_ERROR。代码不是我的，不太可能匆忙改变，尽管它会被Coverity扩展和扫描。还是有任何已知的解决方法来进行扫描吗？

Answer 1

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

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