多空间是确定性的吗？
多空间是确定性的吗？
提问于 2018-11-13 08:52:18
我们有多个空间分析我们的代码，我们有一种感觉，多空间不是完全确定性的。
我们发现代码上的一些错误/违规并没有出现在一个报告中，它们出现在下一个报告中，而实际上正在更改受影响的代码。
的确，从一个报告到另一个报告，代码已经改变了，但这通常只是添加注释和更改受影响代码中的几个例程。
然而，在这一点上，我们不能保证我们不会在其他地方改变可能影响到的东西，尽管这似乎不是原因。
我想知道你在使用多空间时是否有过这种感觉，也想知道多空间是否会发现一些错误，下次跳过它们，反之亦然。
回答 1
Stack Overflow用户
回答已采纳
发布于 2018-11-13 11:18:38
我做了一些研究和阅读。您可以在PolySpace上找到一份白皮书：http://subs.emis.de/LNI/Proceedings/Proceedings110/gi-proc-110-048.pdf，它显式地声明：
PolySpace验证器作为一种详尽的方法，发出检查以证明源代码中每个操作的结果，并考虑到相关操作所涉及的变量的变化域。
基本上，这意味着您对代码其余部分的更改可能不会影响特定的范围，但它们确实会影响。
编辑:我会天真地认为静态代码分析工具是确定性的，但正如注释中指出的那样:可以使用一些随机性/缓存来降低复杂性。即使很难，这也不意味着工具会随机地发现错误/警告
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/53277104
复制相关文章
相似问题
腾讯云开发者
