论文标题
通过抽象解释的静态分析中的完整性，个人观点
Completeness in static analysis by abstract interpretation, a personal point of view
论文作者
论文摘要
通常，通过抽象解释分析的静态分析通常设计为“声音”，也就是说，它不应声称建立不持有其他单词的属性，而不是对可能的错误提供“虚假负面”。稀有的要求是它应该是“完整的”，这意味着它应该能够推断出某些属性。本文描述了多年来我遇到的许多实用问题和问题。
Static analysis by abstract interpretation is generally designed to be "sound", that is, it should not claim to establish properties that do not hold-in other words, not provide "false negatives" about possible bugs. A rarer requirement is that it should be "complete", meaning that it should be able to infer certain properties if they hold. This paper describes a number of practical issues and questions related to completeness that I have come across over the years.
