在嵌入式C代码中,我们不会显式地将全局变量初始化为0,因为在系统启动时,引导代码会这样做。
在我的代码中有两个全局变量,例如A和B。我的代码保证只要它们有一个零的初始值,A就不会再大于B。
但是当我检查Coverity报告的问题时,假设A可能大于B,似乎Coverity并不认为它们都有一个初始值0。
发布于 2022-04-25 18:11:24
根据Synopsys的答复,Coverity不跟踪全局变量。它从上下文中推断,当变量的值未知时,缺陷是可能的。
这里是一篇参考文章。
https://stackoverflow.com/questions/71985094
复制相似问题