gpt4 book ai didi

Coverity 与嵌套函数 : PARSE_ERROR error code

转载 作者:行者123 更新时间:2023-11-30 15:11:29 26 4
gpt4 key购买 nike

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

最佳答案

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

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

关于Coverity 与嵌套函数 : PARSE_ERROR error code,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35619242/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com