Abstract

介绍Sanitizer; 除掉无用Sanitizer checks
本文: SANRAZOR
方法: 获取动态coverage和静态data dependencies?
实验1：
数据集：SPEC benchmarks
效果:

1. from 73.8% to 28.0–62.0% for AddressSanitizer, and from 160.1% to 36.6–124.4% for UndefinedBehaviorSanitizer (depending on the applied reduction scheme).
   实验2:
   数据集:10个常用程序
   效果: 38个CVEs
   实验3: 与AASAP结合
   效果: 虽然在检测方面有减弱，但运行成本仅7.0%