买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：北京时代新威信息技术有限公司;北京邮电大学

摘要：本发明提供了一种基于静态同源性的二进制程序安全分析系统，属于信息安全中的软件安全领域。本发明系统包括信息交互层、数据存储层和业务逻辑层，在业务逻辑层设置特征提取模块、特征表示模块和函数匹配模块；特征提取模块对要处理的二进制文件进行反编译，划分函数边界，提取函数的基本语法特征、指令序列和控制流图；特征表示模块将函数的指令序列和控制流图转化为特征向量；函数匹配模块采用阶段性搜索，先利用基础语法特征搜索目标程序的候选程序列表，再基于函数特征表示获取匹配函数集合。本发明在保持搜索准确性的同时，减少了搜索时间，提高了分析效率，降低了误报率，更适用于大规模物联网设备分析场景中。

主权项：1.一种基于静态同源性的二进制程序安全分析系统，其特征在于，包括特征提取模块、特征表示模块以及函数匹配模块；特征提取模块对要处理的二进制文件进行反编译，划分函数边界，提取函数的基本语法特征、指令序列和控制流图；特征表示模块将函数的指令序列和控制流图转化为特征向量；特征表示模块先进行指令嵌入生成，再生成基本块特征向量和函数特征表示；其中，在指令嵌入生成时，将操作码和操作数均视为字符，利用word2vec模型在函数的指令序列流上滑动学习，将每一字符映射至一个数值向量，对每条指令计算所有操作数向量的平均值，与加权的操作码的向量连接，生成指令嵌入表示；生成基本块特征向量时，将基本块对应的指令嵌入序列输入循环神经网络，输出最后一个循环层隐藏状态，作为基本块特征向量；生成函数特征表示时，将基本块作为函数控制流图中节点，节点特征为基本块特征向量，为节点引入图注意力层融合相邻节点的影响力信息，利用Structure2vec网络迭代节点特征，聚合得到函数的图特征表示；函数匹配模块采用阶段性搜索，获取目标二进制程序X的基础语法特征和函数特征表示，先利用基础语法特征对程序X与程序库中二进制程序进行相似性判断，得到候选程序列表；再遍历候选程序列表，计算程序X与每个候选程序的函数特征表示的向量距离，获得匹配函数列表。

全文数据：

权利要求：

百度查询： 北京时代新威信息技术有限公司 北京邮电大学 一种基于静态同源性的二进制程序安全分析系统