[发明专利]二进制程序中函数代码形式化结构生成方法、设备及介质

说明书

本发明提出一种二进制程序中函数代码形式化结构生成方法、设备及介质，该方法以二进制程序中函数代码作为解析基本粒度，基于功能属性分类二进制程序代码，划分二进制代码的地址空间，生成各类功能属性的函数代码集合，并建立描述函数代码属性的分类函数信息表和函数分布表；构建机器指令操作数类型集合，通过形式化函数代码中操作数，生成各类函数代码的形式化结构集合；以分类函数信息表、函数分布表、及函数代码的形式化结构建立函数代码形式化结构矩阵，该矩阵可以在整体和函数两个层次上有效地解析二进制程序中全体函数代码的形式化结构。本发明实现了对二进制程序中函数代码结构的有效解析，为准确地检测二进制程序的功能属性提供实际支撑。

技术领域

本发明涉及信息安全领域，尤其涉及一种二进制程序中函数代码形式化结构生成方法、设备及介质。

背景技术

当今时代，云计算平台、物联网、移动网络及工业互联网等系统得到快速发展，二进制程序作为各类系统中重要组成分别，其安全性、可靠性及可信性日益重要。伴随信息安全技术的发展，其对抗技术也得到了迅速发展，危害网络和系统安全的有害技术的种类不断增长、所应用的技术不断创新。由于二进制程序由机器指令组成，现有方法难以对其代码结构进行有效的解析，无法有效地对抗信息安全领域中有害技术，从而导致各类系统和平台面临的安全威胁日益严重。在此背景下，二进制程序成为国际上软件安全研究的热点与难点问题。

总结，当前还没有一个普遍适用的方法，能够解决对二进制程序代码结构进行有效解析的问题。

发明内容

有鉴于此，本发明提出了一种二进制程序中函数代码形式化结构生成方法、设备及介质，用于解决难以对二进制程序代码结构进行有效地解析的问题。

本发明的技术方案是这样实现的：

本发明第一方面，公开一种二进制程序中函数代码形式化结构生成方法，所述方法包括：

S1，对二进制程序进行结构解析，识别与度量各函数代码，获取地址空间信息、代码结构信息及函数代码功能属性的度量信息，构建各类不同功能属性的函数代码集合，进行函数代码分类，继续执行步骤S2；

S2，以所述代码结构信息、函数代码功能属性的度量信息及函数代码的分类信息为基本数据，生成函数代码的特征信息，构建分类函数信息表与函数分布表，继续执行步骤S3；

S3，分类机器指令中操作数，得到各类操作数的形式化数值，用所述形式化数值替换所述函数代码集合中函数代码包含的各类操作数，生成所述函数代码的形式化结构，继续执行步骤S4；

S4，根据所述函数分布表与函数代码的形式化结构，构建所述二进制程序中函数代码形式化结构的矩阵表示形式。

本发明通过上述方法，在二进制程序的整体、局部两个层次上，通过全体代码、函数代码两种粒度，实现对二进制程序代码结构的有效解析。

在以上技术方案的基础上，优选的，步骤S1具体包括：

S1-1，从所述二进制程序包含的文件结构描述信息中，提取出描述二进制程序及其代码结构的有效数据；

S1-2，基于所述有效数据，依据程序结构的解析方法，解析出二进制代码的各种地址空间信息，所述地址空间信息包括二进制代码的起始地址、大小、入口点等描述代码存储结构的信息；

S1-3，基于所述地址空间信息，遍历所述二进制程序中二进制代码地址空间，识别其中各段函数代码，获得所述各段函数代码的代码结构信息，所述代码结构信息包括函数代码的起始地址、大小、终止地址等描述函数代码存储结构的信息；

S1-4，基于所述地址空间信息和代码结构信息，获得所述二进制程序中不同函数代码的功能属性，构建各类不同功能属性的函数代码集合：

,其中N⁺为正整数；