One Engine To Serve ’em All: Inferring Taint Rules Without Architectural Semantics 在没有建筑语义的情况下推断污点规则

一劳永逸的引擎：在没有架构语义的情况下推断污染规则   摘要   动态二进制污点分析在现成商业（COTS）二进制文件的安全性分析中具有广泛的应用。 动态二进制分析中的关键挑战之一是指定污点规则，以捕获污点信息如何传播给架构上的每条指令。 现有的大多数解决方案都是在分析指令语义后通过手动总结规则来使用演绎方法来指定帧。 直观上，污点传播反映了指令输入如何影响其输出，因此可以从指令执行中观察到。 在这

>>阅读原文<<