你好,

除非你给出一个区别的例子，否则很难诊断到底发生了什么。您的特定项目可能遇到了特定的问题，或者差异可能是因为您在两台计算机上安装了不同的Polyspace版本。(要检查是否是版本问题，您可以通过打开用户界面并选择Polyspace来查看版本 帮助> ．)有可能您没有在两台计算机上使用完全相同的项目。您可以比较两次运行的验证日志，看看是否使用了相同的选项。标志/选项在验证日志的开始部分可用。您还可以在日志中看到验证是否持续到两台计算机上的相同阶段。

联系技术支持是最好的方金宝app法。他们与客户有不同的工作方式，你不必与他们分享你的项目。他们可能已经从其他用户那里看到了类似的问题，并可以告诉您更多信息，甚至没有看到您的项目(或者至多，他们可能需要查看日志而不是确切的源代码)。看到 联系技术支持金宝app ．

另一个建议是，就Polyspace的使用进行一些培训/咨询。在前面的问题中，您在单个项目中指出了大约3000个警告(其中大部分您可能标记为不是缺陷)。这通常表明项目设置还有很大的改进空间。培训/咨询可以帮助这方面的改进。

你好,

看来i7只有一个额外的警告。比如，你能告诉我支票的名字吗，或者更多的背景信息?也许，这可以提供更多的见解。

你好,

感谢附上截图。这很有帮助。

你可以尝试的是:调查更多的细节 数组索引越界 (OBAI) 在i7上，看看为什么i7上的检查是橙色的，而在同一条线上的i9上不是。从你的问题听起来像是第5997行 iorhis.c 在i9上也应该有一个橙色的OBAI检查，但这没有发生。事件列表上的 结果细节 窗格将帮助您追溯并找到根本原因。OBAIs通常很容易调查，但我不能仅从屏幕截图提供更多帮助，因为我不知道前面的行。从我看到的截图来看，它看起来像是一个简单的案例 ＜＝ 在导致问题的循环终止条件中。也许如果你分享一个屏幕截图第5997行 iorhis.c 在i9上运行，并显示相同的OBAI检查结果 结果细节 ，我可能会猜测为什么会出现这种差异。

有时，像__TIME__和__DATE__这样的编译时宏每次都会扩展到不同的内容。在较小程度上，宏__FILE__可能会扩展到不同机器上的不同路径(因此导致在一台机器上有OBAI，而在另一台机器上没有)。在调查OBAI时，您可以看到这样的宏是否涉及到追溯的某个地方。

要获得响应通知，您必须单击 遵循 你的问题上面的链接。然后，在你的通知首选项(右上角，你通常在那里点击注销，选择 我的社区档案 然后选择 通信首选项 )，你必须选择收到你所关注的问题的电子邮件。