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.
翻译：抽象解释的静态分析通常被设计为“ 稳妥 ”, 也就是说, 它不应该声称确定不持有的属性, 换句话说, 不提供可能的错误的“ 假阴性 ” 。 更罕见的要求是它应该是“ 完整 ”, 意思是它应该能够推断某些属性, 如果它们持有的话。 本文描述了我多年来遇到的一些与完整性相关的实际问题。
相关内容
专知会员服务
34+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2023年1月16日
Arxiv
0+阅读 · 2023年1月12日
Arxiv
0+阅读 · 2023年1月12日
相关VIP内容
专知会员服务
34+阅读 · 2019年10月17日
相关资讯
相关论文
Arxiv
0+阅读 · 2023年1月16日
Arxiv
0+阅读 · 2023年1月12日
Arxiv
0+阅读 · 2023年1月12日
微信扫码咨询专知VIP会员