static-analysis - 静态分析 : sound vs unsound

Question

我已经开始使用静态分析。在阅读了几篇论文后，我仍然不清楚一件事。正确的和不正确的静态分析的正确定义是什么？

问题是我在不同的地方发现了相互矛盾的定义:“......声音分析模拟程序的所有行为。” http://blog.errstr.com/2013/01/17/on-static-analysis/

“不健全的工具/正式工具:这些工具报告所有已检查的缺陷并且不会产生漏报。” http://techvolve.blogspot.de/2014/03/static-analysis-overview.html

Answer 1

http://techvolve.blogspot.de/2014/03/static-analysis-overview.html 中的定义被逆转。应该是:

• 不健全的工具:这些工具牺牲了最大限度地发现错误，将误报率降至合理水平。因此，这些工具故意不精确且不可判定 - 这意味着可能出现误报和漏报。
• 声音工具/形式化工具:这些工具报告所有已检查的缺陷并且不会产生漏报。这些相对较慢。但是，会产生大量误报。

即使您省略了混淆，该页面也不是特别好。 “不可判定”一词在第一段中仍然以非常规的方式使用。 (问题要么是可判定的，要么是不可判定的。工具既不是其中之一也不是另一个。)

你最好从你的书目搜索中忽略这篇文章。