ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis.

静态污点分析是检测软件系统中污点流的常用技术，尽管理论上保守且设计为检测所有可能污点流，但由于实现限制（如动态编程语言特性、不可达代码、多语言项目等），静态分析几乎总是存在漏报。为缓解此问题，本文提出 DySTA 方法，利用动态污点分析结果

历史摘要 · 未重新核验 · IEEE S&P