该论文针对当前软件安全中广泛使用的消毒器（sanitizer）存在的冗余检查问题展开研究。消毒器通过插入运行时检查来检测内存错误、未定义行为等漏洞，但大量检查是冗余的，因为开发者已在代码中通过类型检查（如显式的类型转换或条件判断）隐含地保证了安全性。作者提出了一种名为“PruneSan”的方法，利用静态分析自动识别并移除那些由开发者已实现的类型检查所覆盖的冗余消毒检查。该方法首先构建程序的控制流图和数据类型流，然后通过符号推理判断消毒检查的条件是否已被类型检查所蕴含。实验评估在多个真实项目（如OpenSSL、FFmpeg等）上进行，结果表明PruneSan能够安全地移除平均30%的消毒检查，同时显著降低运行时开销（最高达45%），且未引入任何新的误报或漏报。该工作为在保证安全性的前提下优化消毒器性能提供了有效途径，适用于需要高安全性与高执行效率的C/C++程序。