基于候选函数组的固件间函数对应关系构建方法.docx

1 引言 二进制代码比对旨在确定两段代码（基本块、函数、程序）是否相似[1]，也称作二进制比对。文献[2-5]的工作表明，二进制比对技术具有广泛的应用场景，可用于固件补丁/漏洞比对[4]、软件抄袭检测[6]、恶意软件检测[7]等领域。 本文研究邻近版本固件间构建函数对应关系的方法，对固件安全性进行分析，此问题属于二进制比对范畴。文献[1]将二进制比对的粒度分为基本块、函数、程序三级；输入形式包括一对一、一对多、多对多；比对形式包括同构、等价、相似3种。依据此条件，本文研究内容可以描述为，对于输入两个固件程序，以一定方法判别每个固件中的每一个函数在另一个固件中是否有函数与之对应（也称为匹配）。对