申请/专利权人：上海交通大学

申请日：2020-06-23

公开（公告）日：2024-04-02

公开（公告）号：CN111752586B

主分类号：G06F8/65

分类号：G06F8/65;G06F8/71;G06F21/57

优先权：

专利状态码：有效-授权

法律状态：2024.04.02#授权;2020.10.30#实质审查的生效;2020.10.09#公开

摘要：一种跨架构的嵌入式设备固件未修补漏洞检测方法及系统，首先采集新版本和旧版本的固件，选取两个对应的新旧版本程序二进制文件作为分析对象，将两个二进制文件提升到LLVMIR，基于LLVMIR展开分析，即对两个版本固件的中间语言代码进行函数级别的构造相似性分析，识别出构造相似函数；然后对非构造相似函数进行函数语义相似性分析，识别出语义相似函数；最后对得到的语义相似函数进行差异分析，将差异分析的结果与差异模板进行匹配，完成未修补漏洞检测。本发明通过使用本系统可以快速检测识别闭源嵌入式设备固件中由第三方库引入的未修补漏洞，并且支持ARM、MIPS、IA‑32架构。

主权项：1.一种跨架构的嵌入式设备固件未修补漏洞检测方法，其特征在于，首先采集新版本和旧版本的固件，选取两个对应的新旧版本程序二进制文件作为分析对象，将两个二进制文件提升到LLVMIR，基于LLVMIR展开分析，即对两个版本固件的中间语言代码进行函数级别的构造相似性分析，识别出构造相似函数；然后对非构造相似函数进行函数语义相似性分析，识别出语义相似函数；最后对得到的语义相似函数进行差异分析，将差异分析的结果与差异模板进行匹配，完成未修补漏洞检测；所述的匹配是指：将差异基本块与未修补漏洞差异模板进行包括结构相似性分析以及语义相似性分析的定制化匹配，具体包括：模板一：加入了icmp指令与空指针进行比较，新加入了一个含有错误处理代码的分支；其定制化匹配为：采用基于控制流图的结构相似性比较，并判断新增的指令是否为条件判断指令；模板二：将内存释放函数的调用指令从代码中进行了删除；其定制化匹配为：采用直接的指令比较，判断是否删除对单指针参数函数调用指令的删除；模板三：加入了对指针置零的store指令；其定制化匹配为：判断是否加入了对内存进行置零的指令；模板四：加入了对内存操作函数的参数进行算术运算的指令；其定制化匹配为：判断是否有加入对内存操作函数的参数进行算术运算的指令；模板五：加入了bitcast指令，进行指针的类型转换；其定制化匹配为：判断是否仅新加入进行类型转换的指令；模板六：进行了icmp指令判定条件的替换；其定制化匹配为：判断是否替换条件判断指令的条件；模板七：加入了两个函数调用，传入的为同一参数；其定制化匹配为：判断是否新增两个将同一变量作为参数的函数调用指令。

全文数据：

权利要求：

百度查询： 上海交通大学 跨架构的嵌入式设备固件未修补漏洞检测方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD