基于数据流分析的冗余空值检查检测方法
来源：计算机应用与软件杂志2026年第1期北京时间：
作者：谢东方，黄凯锋，陈碧欢，赵文耘, , ,
摘要：冗余空值检查会导致死代码，降低代码的可理解性和效率，并且预示程序可能有错。提出一种基于数据流分析的冗余空值检查的检测方法RedDetector。这种方法增强了数据流分析，并且能够找到更多冗余空值检查。搜集35个GitHub热门项目，并人工搜集其中的冗余空值检查作为数据集。在这个数据集上，对比最先进工具，RedDetector的不可达空值检查语句查全率提升了83.7百分点，查准率提升了54.4百分点；而必可达空值检查语句的查全率提升了75.4百分点，查准率提升了44.7百分点。
关键词：死代码, 数据流分析, 空值检查
