Taint Rabbit：利用动态快速路径生成优化通用污点分析
密码学与安全
2020-07-23 v1 软件工程
摘要
通用污点分析是软件安全中的一项关键技术。然而，它存在极高的开销问题。在本文中，我们探讨了这样一个假设：即时 (JIT) 生成用于跟踪污点的快速路径是否可以提升性能。为此，我们提出了 Taint Rabbit，它支持高度可定制的用户自定义污点策略，并将 JIT 与快速上下文切换相结合。我们的实验结果表明，这种组合优于现有的著名通用污点分析实现，并缩小了与专用跟踪器之间的性能差距。例如，Dytan 产生的平均开销为 237 倍，而 Taint Rabbit 在同一组基准测试上实现了 1.7 倍。这与按位、非通用的污点引擎 LibDFT 所带来的 1.5 倍开销相比表现良好。
引用
@article{arxiv.2007.05955,
title = {The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation},
author = {John Galea and Daniel Kroening},
journal= {arXiv preprint arXiv:2007.05955},
year = {2020}
}