二进制程序中函数代码形式化结构生成方法、设备及介质与流程

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


背景技术：

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


技术实现要素：

4.有鉴于此，本发明提出了一种二进制程序中函数代码形式化结构生成方法、设备及介质，用于解决难以对二进制程序代码结构进行有效地解析的问题。
5.本发明的技术方案是这样实现的：本发明第一方面，公开一种二进制程序中函数代码形式化结构生成方法，所述方法包括：s1，对二进制程序进行结构解析，识别与度量各函数代码，获取地址空间信息、代码结构信息及函数代码功能属性的度量信息，构建各类不同功能属性的函数代码集合，进行函数代码分类，继续执行步骤s2；s2，以所述代码结构信息、函数代码功能属性的度量信息及函数代码的分类信息为基本数据，生成函数代码的特征信息，构建分类函数信息表与函数分布表，继续执行步骤s3；s3，分类机器指令中操作数，得到各类操作数的形式化数值，用所述形式化数值替换所述函数代码集合中函数代码包含的各类操作数，生成所述函数代码的形式化结构，继续执行步骤s4；s4，根据所述函数分布表与函数代码的形式化结构，构建所述二进制程序中函数代码形式化结构的矩阵表示形式。
6.本发明通过上述方法，在二进制程序的整体、局部两个层次上，通过全体代码、函数代码两种粒度，实现对二进制程序代码结构的有效解析。
7.在以上技术方案的基础上，优选的，步骤s1具体包括：s1
‑
1，从所述二进制程序包含的文件结构描述信息中，提取出描述二进制程序及
其代码结构的有效数据；s1
‑
2，基于所述有效数据，依据程序结构的解析方法，解析出二进制代码的各种地址空间信息，所述地址空间信息包括二进制代码的起始地址、大小、入口点等描述代码存储结构的信息；s1
‑
3，基于所述地址空间信息，遍历所述二进制程序中二进制代码地址空间，识别其中各段函数代码，获得所述各段函数代码的代码结构信息，所述代码结构信息包括函数代码的起始地址、大小、终止地址等描述函数代码存储结构的信息；s1
‑
4，基于所述地址空间信息和代码结构信息，获得所述二进制程序中不同函数代码的功能属性，构建各类不同功能属性的函数代码集合：,其中n
+
为正整数；s1
‑
5，根据p
0 ~ p
n
集合分类函数代码，分类方法为：所述二进制程序中函数代码划分为集合p
0 ~ p
n
，同一集合中函数代码划分为同一种类型，不同集合中函数代码为不同类型，共得到n种类型的函数代码。
8.本发明通过上述方法，以二进制程序中函数代码作为解析基本粒度，基于功能属性分类二进制程序代码，划分二进制代码的地址空间，生成各类功能属性的函数代码集合。
9.在以上技术方案的基础上，优选的，步骤s1
‑
4具体包括：s1
‑4‑
1，基于所述地址空间信息和代码结构信息中描述二进制代码结构的各种具体信息，度量不同函数代码之间关系，获得各段函数代码的各种功能属性的度量信息，所述度量信息包括函数代码的存储区间、相似性及度量值等描述函数代码的各类功能特性的信息；s1
‑4‑
2，根据所述函数代码功能属性的度量信息，标志所述二进制程序中各段函数代码的功能属性；s1
‑4‑
3，根据所述函数代码的功能属性，把二进制程序中各段函数代码分别放入函数代码集合p
0 ~ p
n
，所述函数代码集合p
0 ~ p
n
满足如下条件：对于任意函数代码集合p
i
，0≤i≤n，都存在功能属性ξ
i
，成立：p
i
中函数代码都具有功能属性ξ
i
；对于任意两个不同的函数代码集合p
i ,p
k
，0≤i,k≤n，都成立 p
i
∩p
k =
ꢀø
；对于所述二进制代码地址空间中任意函数代码ω，都存在唯一的函数代码集合p
j
，0≤j≤n，成立：ω∈p
j
；若所述二进制程序中全部代码表示为u，则有：u=p0∪p1∪
…
∪p
n
。
10.本发明通过上述方法，获得所述二进制程序中函数代码的功能属性，根据功能属性划分所述二进制代码地址空间中函数代码，从而生成各类功能属性的函数代码集合。
11.在以上技术方案的基础上，优选的，步骤s2具体包括：s2
‑
1，以所述代码结构信息、函数代码功能属性的度量信息及函数代码的分类信息为基本数据，生成函数代码的特征信息，所述函数代码的特征信息包括函数代码的起始地址、地址区间、功能属性、分类类型及其他描述函数代码特征的数据；
s2
‑
2，构建分类函数信息表t
0 ~t
n
：把所述集合p
0 ~ p
n
中各段函数代码的所述特征信息作为表目录项，分别放入表t
0 ~ t
n
，并依据函数代码的起始地址的升序或降序，排列表t
0 ~ t
n
中各目录项；s2
‑
3，构建函数分布表f：将所述分类函数信息表t
0 ~ t
n
中目录项放入表f中，依据函数代码的起始地址的升序或降序，排列其中各目录项。
12.本发明通过上述方法，建立描述函数代码属性的分类函数信息表和函数分布表，以此为基础，本发明技术方案的后续步骤可以在整体和函数两个层次上有效地解析所述二进制程序中代码结构，准确地描述所述函数代码的分布规律及相互关系等特性。
13.在以上技术方案的基础上，优选的，步骤s3具体包括：s3
‑
1，根据机器指令功能属性分类机器指令中操作数，构建操作数类型集合d；s3
‑
2，统一规范处理所述函数代码集合p
0 ~ p
n
，生成所述函数代码的形式化结构集合p0' ~ p
n
'，并建立描述它们之间双射关系的函数代码映射表w。
14.在以上技术方案的基础上，优选的，步骤s3
‑
1具体包括：构建操作数类型集合d，所述操作数类型集合d满足如下条件：所述操作数类型集合d中元素的数据类型为单字节的字符类型，例如整数、字母等；对于任意机器指令中操作数x，都存在唯一元素t∈d，成立：t是x的操作数类型；操作数类型集合d中元素称为函数代码中操作数的形式化数值。
15.在以上技术方案的基础上，优选的，步骤s3
‑
2具体包括：s3
‑2‑
1，基于所述操作数类型集合d，将所述函数代码集合p
0 ~ p
n
中函数代码包含的各类操作数分别替换为其形式化数值，得到函数代码形式化集合p0' ~ p
n
'，并建立函数代码映射表w，主要步骤如下：s3
‑2‑1‑
a，分别选择函数代码集合p
0 ~ p
n
，对于所选择的各函数代码集合中每一个函数代码，继续执行步骤s3
‑2‑1‑
b；s3
‑2‑1‑
b，对于任意函数代码f∈p
i , 0≤i≤n，将f中各操作数分别替换为其形式化数值，得到f的形式化结构f '，成立关系：f 'f，或ff '，继续执行步骤s3
‑2‑1‑
c；s3
‑2‑1‑
c，将f '放入集合p
i
' 中，并将向量(p
i
, f, p
i
', f ')作为表目录项，放入w中；s3
‑2‑
2，优化函数代码映射表w，优化方法为：依据函数代码的起始地址的升序或降序，排列表w中各目录项；s3
‑2‑
3，建立所述表w的检索索引，基于所述索引可以快速检索表w中描述函数代码形式化集合p0'~ p
n
'与所述函数代码集合p
0 ~ p
n
之间双射关系的目录项，满足如下条件：对于任意函数代码f∈p
i , 0≤i≤n，表w中存在唯一目录项 (p
i
, f, p
i
', f ')，其描述了双射关系：存在唯一集合p
i
'，及唯一元素f '∈p
i
'，使得f 'f；
对于任意元素f '∈p
i
', 0≤i≤n，表w中存在唯一目录项 (p
i
, f, p
i
', f ')，其描述了双射关系：存在唯一函数代码集合p
i
，及唯一元素f∈p
i
，使得ff '。
16.本发明通过上述方法，通过构建机器指令操作数类型集合，获得函数代码的形式化结构，生成各类函数代码的形式化结构集合及函数代码映射表w，为构建所述二进制程序中函数代码形式化结构的矩阵表示形式提供基础。
17.在以上技术方案的基础上，优选的，步骤s4具体包括：s4
‑
1，若所述函数分布表f中共有m项目录，m∈n
+
, m≥n,则遍历该m项目录，提取出所述二进制程序中各函数代码的地址区间及分类类型，组成各函数代码的特征数组；对于任意函数代码f
i
∈p
j ,0≤i≤m, 0≤j≤n，其特征数组表示为：([ds
i
,dd
i
],t
j
)，其中元素[ds
i
,dd
i
]、t
j
分别为f
i
的地址区间及分类类型，ds
i
、dd
i
分别为f
i
的起始地址及终止地址，ds
i
,dd
i
∈n，n为自然数；s4
‑
2，检索表w，根据所述函数代码集合p0~p
n
与函数代码形式化集合p0'~ p
n
'之间双射关系，把集合p0~p
n
中各函数代码的特征数组作为集合p0'~ p
n
'中其形式化结构的矩阵坐标，以集合p0'~ p
n
'中元素构建m行n+1列矩阵a，所述矩阵a满足如下条件：矩阵a中元素包含了集合p0'~ p
n
'中所有元素，且a中元素除了空集
ø
以外，都不相同；对于矩阵a中任意元素f
ij
'，若其不为
ø
，则存在唯一集合p
j
'，0≤j≤n, 成立：f
ij
'∈p
j
'；对于矩阵a中任意两个元素f
ij
'、f
kl
'，若它们与函数代码f
ij,
、f
kl,
存在关系：f
ij
'f
ij
, f
kl
'f
kl
, 0≤k≤m, 0≤l≤n，且f
ij,
、f
kl,
的特征数组分别为([ds
i
,dd
i
],t
j
)、([ds
k
,dd
k
],t
l
)，则如下关系成立：若i<k，成立ds
i
<ds
k
；若i>k，成立ds
i
>ds
k
；若t
j
、t
l
为相同的分类类型，则f
ij
'、f
kl
'位于a中同一列；若t
j
、t
l
为不同的分类类型，则f
ij
'、f
kl
'分别位于a中不同列。
[0018]
本发明通过上述方法，建立所述二进制程序中函数代码的形式化结构矩阵a，矩阵a是基于函数分布表、分类函数信息表及集合p0' ~ p
n
'中元素构建，分别应用全体代码和函数代码两种粒度，解析出所述二进制程序中函数代码的结构、分布规律及相互关系等特性，能够在整体和函数两个层次上有效地描述二进制程序中全体函数代码的形式化结构。
[0019]
本发明第二方面，公开一种电子设备，所述设备包括：至少一个处理器、至少一个存储器、通信接口和总线；其中，所述处理器、存储器、通信接口通过所述总线完成相互间的通信；所述存储器存储有可被所述处理器执行的一种二进制程序中函数代码形式化结构生成方法程序，一种二进制程序中函数代码形式化结构生成方法程序配置为实现如本发明第一方面所述的一种二进制程序中函数代码形式化结构生成方法。
[0020]
本发明第三方面，公开一种计算机可读存储介质，所述存储介质上存储有一种二进制程序中函数代码形式化结构生成方法程序，所述一种二进制程序中函数代码形式化结
构生成方法程序被执行时实现如本发明第一方面所述的一种二进制程序中函数代码形式化结构生成方法。
[0021]
本发明的一种二进制程序中函数代码形式化结构生成方法、系统、设备及介质相对于现有技术具有以下有益效果：(1) 本发明最后通过矩阵形式，精确地描述了二进制程序中函数代码的结构、分布规律及相互关系等特性，能够在整体代码和函数代码两个层次上有效地解析二进制程序中全体函数代码的形式化结构；(2) 本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以通过全体代码、函数代码两种粒度，对二进制程序中函数代码结构进行递归的精确解析，有效地解决了当今国际上软件安全研究面临的二进制程序难以有效解析的难点问题，为准确地检测二进制程序的功能属性提供实际支撑，能够有效地对抗有害技术所造成的安全威胁，从而保障系统的安全性、可靠性及可信性；(3) 本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以应用于各类系统环境中不同格式的二进制程序，其应用范围广，可移植性强；(4) 本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以应用于二进制代码结构与脆弱性分析、病毒和恶意程序查杀、漏洞的挖掘与利用，程序代码缺陷识别、及软件同源性鉴别等软件安全领域，从而为系统的安全性、可靠性及可信性提供有效的支撑，是进一步发展系统安全攻防技术的基础。
附图说明
[0022]
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0023]
图1为本发明一种二进制程序中函数代码形式化结构生成方法工作流程图。
具体实施方式
[0024]
下面将结合本发明实施方式，对本发明实施方式中的技术方案进行清楚、完整地描述，显然，所描述的实施方式仅仅是本发明一部分实施方式，而不是全部的实施方式。基于本发明中的实施方式，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施方式，都属于本发明保护的范围。
实施例
[0025]
本发明一种二进制程序中函数代码形式化结构生成方法工作流程见图1，处理步骤说明如下：由于不同操作系统环境中二进制程序的格式各不相同，下面以本发明提出的一种二进制程序中函数代码形式化结构生成方法，生成windows环境内pe程序中函数代码形式化结构的矩阵表示形式的具体工作流程为例，主要包括如下步骤：第一步，基于二进制程序包含的文件结构描述信息，提取出描述二进制程序及其
代码的有效数据。windows环境中，常见的pe文件包括 exe、dll、ocx、sys、com等格式，其主要文件结构如下表1所示：表1 pe文件的整体结构表pe文件中包含了描述程序结构的数据结构，可以提取出描述程序及其代码的有效信息。例如，“dos头”中“e_lfanew”数据项的值为nt头的rva地址。二进制代码一般是被编译到pe文件的某一个节，通常是“.text”节。在“nt头”的“pe可选头”部分中，数据结构image_optional_header内数据项描述了二进制程序与代码所在节的基本信息。其中数据项“imagebase”的值是程序装载的基地址，“sizeofimage”的值是程序装载后的大小，“baseofcode”数据项的值是代码所在节的起始rva地址，同时依据节的特征值标志是否为可执行（mem_execute）属性，可以判断该节是否为包含二进制代码的节。“pe可选头”最后一部分是数据目录表，表内各项目录分别描述了各类功能属性的函数代码，其数据结构为“image_data_directory”类型，其中数据项“virtualaddress”的值描述了它们的地址，转第二步。
[0026]
第二步，基于所述有效数据，遍历所述二进制程序中二进制代码地址空间，依据程序结构的解析方法，解析出二进制代码的各种地址空间信息及各段函数代码的代码结构信息。所述地址空间信息包括二进制代码的起始地址、大小、入口点等描述程序代码存储结构的信息，所述代码结构信息包括函数代码的起始地址、大小、终止地址等描述函数代码存储结构的信息。例如，对于pe文件的源代码编译生成的二进制代码（本发明称为自有代码），其
起始地址的计算公式如下：自有代码起始地址 =
ꢀ“
nt头”地址 +
ꢀ“
pe签名”的大小 +
ꢀ“
pe头”的大小 +
ꢀ“
pe可选头”的大小对于pe文件中函数代码，可以根据数据目录表中各项目录包含的数据，解析出不同功能属性函数代码的代码结构信息。pe文件内不同功能属性的函数代码信息大多包含于数据目录表，其中各项目录分别描述了不同功能属性的函数代码信息，见表2：表2 pe文件的数据目录表表中数组项定义如下：typedef struct _image_data_directory {
ꢀꢀꢀꢀ
dword
ꢀꢀꢀ
virtualaddress;
ꢀꢀꢀꢀꢀ
//起始位置
ꢀꢀꢀꢀ
dword
ꢀꢀꢀ
size;
ꢀꢀꢀꢀꢀꢀꢀꢀꢀꢀꢀꢀꢀ
//大小} image_data_directory, *pimage_data_directory;转第三步。
[0027]
第三步，基于所述地址空间信息和代码结构信息，获得所述二进制程序中不同函数代码功能属性的度量信息，构建各类功能属性的函数代码集合，进行函数代码分类，主要过程如下：基于数据目录表中各项目录对各类功能属性函数代码的描述信息，按照地址升序（或降序），分别获取各目录所描述的函数代码段，将它们分别放入n个不同功能属性的函数代码集合p
0 ~ p
n
‑1，n>0，n∈n
+
，使得集合p
0 ~ p
n
‑1满足如下条件：
对于任意函数代码集合p
i
，0≤i≤n
‑
1，都存在功能属性ξ
i
，成立：p
i
中函数代码都具有功能属性ξ
i
；对于任意两个不同的函数代码集合p
i ,p
k
，0≤i,k≤n
‑
1，都成立 p
i
∩p
k =
ꢀø
；遍历所述二进制代码地址空间，依次识别其中各函数代码段，对于其中任意函数代码段ω，若满足条件：ω
∉
p
i , 0≤i≤n
‑
1 , i∈n
+
, 则把ω放入集合p
n
；对函数代码分类，分类方法为：所述二进制程序中函数代码划分为集合p
0 ~ p
n
，同一集合中函数代码划分为同一种类型，不同集合中函数代码为不同类型；经过以上过程，共得到n种不同类型功能属性的函数代码集合p
0 ~ p
n
，所述pe文件中函数代码划分为n种类型。转第四步。
[0028]
第四步，构建分类函数信息表t
0 ~ t
n
。主要过程如下：以所述集合p
0 ~ p
n
中函数代码的代码结构信息、功能属性度量信息及分类信息等数据，生成函数代码的特征信息，包括函数代码的起始地址、地址区间、功能属性及分类类型等特征描述数据；把所述集合p
0 ~ p
n
中各段函数代码的所述特征信息作为表目录项，分别放入表t
0 ~ t
n
，并依据函数代码的起始地址的升序（或降序），排列表t
0 ~ t
n
中各目录项。转第五步。
[0029]
第五步，构建函数分布表f。将所述分类函数信息表t
0 ~ t
n
中目录项放入表f中，依据函数代码的起始地址的升序（或降序），排列其中各目录项。转第六步。
[0030]
第六步，根据机器指令功能属性分类机器指令中操作数，构建操作数类型集合d，满足如下条件： d中元素的数据类型为单字节的字符类型，例如整数、字母等；对于任意机器指令中操作数x，都存在唯一元素t∈d，成立：t是x的操作数类型；集合d中元素称为函数代码中操作数的形式化数值。转第七步。
[0031]
第七步，基于所述操作数类型集合d，将所述函数代码集合p
0 ~ p
n
中函数代码包含的各类操作数分别替换为其形式化数值，得到函数代码形式化集合p0' ~ p
n
'，并建立函数代码映射表w。主要过程如下：分别选择函数代码集合p
0 ~ p
n
，对于所选择的各函数代码集合中每一个函数代码继续执行以下步骤；对于任意函数代码f∈p
i , 0≤i≤n，将f中各操作数分别替换为其形式化数值，得到f的形式化结构f '，成立：f 'f，或ff '；将f '放入集合p
i
' 中，并将向量(p
i
, f, p
i
', f ')作为表目录项，放入w中；
优化函数代码映射表w。优化方法为：依据函数代码的起始地址的升序或降序，排列表w中各目录项；建立表w的检索索引，基于所述索引可以快速检索表w中描述函数代码形式化集合p0'~ p
n
'与所述函数代码集合p
0 ~ p
n
之间双射关系的目录项，满足如下条件：对于任意函数代码f∈p
i , 0≤i≤n，表w中存在唯一目录项 (p
i
, f, p
i
', f ')，其描述了双射关系：存在唯一集合p
i
'，及唯一元素f '∈p
i
'，使得f 'f；对于任意元素f '∈p
i
', 0≤i≤n，表w中存在唯一目录项 (p
i
, f, p
i
', f ')，其描述了双射关系：存在唯一函数代码集合p
i
，及唯一元素f∈p
i
，使得ff '。转第八步。
[0032]
第八步，根据所述函数分布表与函数代码的形式化结构，构建所述二进制程序中函数代码形式化结构矩阵表示形式。主要过程如下：若所述函数分布表f中共有m项目录，m∈n
+
, m≥n,则遍历该m项目录，提取出所述二进制程序中各函数代码的地址区间及分类类型，组成各函数代码的特征数组；对于任意函数代码f
i
∈p
j ,0≤i≤m, 0≤j≤n，其特征数组表示为：([ds
i
,dd
i
],t
j
)，其中元素[ds
i
,dd
i
]、t
j
分别为f
i
的地址区间及分类类型，ds
i
、dd
i
分别为f
i
的起始地址及终止地址，ds
i
,dd
i
∈n，n为自然数；检索表w，根据所述函数代码集合p
0 ~ p
n
与函数代码形式化集合p0' ~ p
n
'之间双射关系，把各函数代码的特征数组作为其形式化结构的矩阵坐标，以集合p0' ~ p
n
'中元素构建m行n+1列矩阵a，所述矩阵a满足如下条件：矩阵a中元素包含了集合p0' ~ p
n
'中所有元素，且a中元素除了空集
ø
以外，都不相同；对于矩阵a中任意元素f
ij
'，若其不为
ø
，则存在唯一集合p
j
'，0≤j≤n, 成立：f
ij
'∈p
j
'；对于矩阵a中任意两个元素f
ij
'、f
kl
'，若它们与函数代码f
ij,
、f
kl,
存在关系：f
ij
'f
ij
, f
kl
'f
kl
, 0≤k≤m, 0≤l≤n，且f
ij,
、f
kl,
的特征数组分别为([ds
i
,dd
i
],t
j
)、([ds
k
,dd
k
],t
l
)，则如下关系成立：.若i<k，成立ds
i
<ds
k
；若i>k，成立ds
i
>ds
k
；.若t
j
、t
l
为相同的分类类型，则f
ij
'、f
kl
'位于a中同一列；若t
j
、t
l
为不同的分类类型，则f
ij
'、f
kl
'分别位于a中不同列。
[0033]
矩阵a见表3。
[0034]
表3 函数代码形式化结构矩阵
本发明通过上述的具体示例过程，应用所提出的一种二进制程序中函数代码形式化结构生成方法，建立所述windows环境内pe文件中函数代码的形式化结构矩阵a。
[0035]
矩阵a是基于函数分布表、分类函数信息表及集合p0' ~ p
n
'中元素构建，分别应用全体代码和函数代码两种粒度，解析出所述二进制程序中函数代码的结构、分布规律及相互关系等特性，能够在整体和函数两个层次上有效地描述二进制程序中全体函数代码的形式化结构。
[0036]
本发明提出的一种二进制程序中函数代码形式化结构生成方法，通过二维矩阵形式，从整体代码和函数代码两个层次上，精确地解析出二进制程序中函数代码的结构、分布规律及相互关系等特性，能够对二进制程序代码结构进行有效的解析，从而为进一步检测和防御系统安全风险提供基础支撑。
[0037]
本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以通过全体代码、函数代码两种粒度，对二进制程序中函数代码结构进行递归的精确解析，有效地解决了当今国际上软件安全研究面临的二进制程序难以有效解析的难点问题，为准确地检测二进制程序的功能属性提供实际支撑，能够有效地对抗有害技术所造成的安全威胁，从而保障系统的安全性、可靠性及可信性。
[0038]
本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以应用于各类系统环境中不同格式的二进制程序，其应用范围广，可移植性强。
[0039]
本发明提出的一种二进制程序中函数代码形式化结构生成方法，可以应用于二进制代码结构与脆弱性分析、病毒和恶意程序查杀、漏洞的挖掘与利用，程序代码缺陷识别、及软件同源性鉴别等软件安全领域，能够为系统的安全性、可靠性及可信性提供有效的支撑，是进一步发展系统安全攻防技术的基础。
[0040]
本发明还公开一种电子设备，所述设备包括：至少一个处理器、至少一个存储器、通信接口和总线；其中，所述处理器、存储器、通信接口通过所述总线完成相互间的通信；所述存储器存储有可被所述处理器执行的一种二进制程序中函数代码形式化结构生成方法程序，一种二进制程序中函数代码形式化结构生成方法程序配置为实现如本发明实施例所述的一种二进制程序中函数代码形式化结构生成方法。
[0041]
本发明还公开一种计算机可读存储介质，所述存储介质上存储有一种二进制程序中函数代码形式化结构生成方法程序，所述一种二进制程序中函数代码形式化结构生成方法程序被执行时实现如本发明实施例所述的一种二进制程序中函数代码形式化结构生成方法。
[0042]
以上所述仅为本发明的较佳实施方式而已，并不用以限制本发明，凡在本发明的
精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本发明的保护范围之内。