CN109885491B - 对存在数据溢出表达式的检测方法及终端设备 - Google Patents

Abstract

本发明适用于嵌入式软件检测技术领域，提供了一种对存在数据溢出表达式的方法及终端设备，该方法包括：根据待检测文件夹路径，获取待检测文件列表；读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容；根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数；当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件。本方法可以实现快速定位嵌入式软件代码中存在数据溢出的表达式。

Description

对存在数据溢出表达式的检测方法及终端设备

技术领域

本发明属于嵌入式软件检测技术领域，尤其涉及一种对存在数据溢出表达式的检测方法及终端设备。

背景技术

通常嵌入式软件代码中表达式存在无符号数据类型的数据相减，然后再赋值给另一个无符号类型变量，若被减数变量小于减数变量，得到变量的数据会溢出，当进一步用溢出的变量检索数组地址并进行写操作时，会导致内存写越界，从而修改原有内存的数值。

目前，采用现有技术检测数据溢出时，在嵌入式软件代码中直接搜索“-”号，然后逐个判断，但实际除了减法以外还将搜索出其他大量的符号表达式，例如“\**-”、“->”等，使排查变得不准确，并且耗时；另外，现有技术借助嵌入式软件检测工具检测数据溢出，如采用常见的商用检测软件进行静态分析，但Z＝X-Y中的减操作可能被认为是X加上Y的补码，因此当X、Y、Z都是无符号类型数据时，也不会有任何告警。

发明内容

有鉴于此，本发明实施例提供了一种对存在数据溢出表达式的检测方法及终端设备，以解决现有技术中无法快速定位嵌入式软件代码中存在数据溢出的表达式的问题。

本发明实施例的第一方面提供了一种对存在数据溢出表达式的检测方法，包括：

根据待检测文件夹路径，获取待检测文件列表；

读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容；

根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数；

当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置。

在一实施例中，在所述记录并保存第一结果文件之后，还包括：

根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名；

当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数；

根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置。

在一实施例中，在所述确定并保存第二结果文件之后，还包括：

根据Python正则表达式定义的比较表达式、比较表达式的左值、比较表达式的右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值；

当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

根据所述第二结果文件、所述第一比较表达式，确定并保存第三结果文件。

在一实施例中，所述根据所述第二结果文件、所述第一比较表达式，确定并保存第三结果文件，包括：

确定所述第一比较表达式中左值为被减数；

删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；

保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

在一实施例中，所述读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容，包括：

读取所述文件列表中的待检测程序文件；

判断所述待检测程序文件是否为所述文件列表中的最后一个程序文件；

若所述待检测程序文件不是所述文件列表中的最后一个程序文件时，打开所述待检测程序文件，并获取所述待检测程序文件的总行数；

判断当前检测的位置是否为所述待检测程序文件的最后一行；

若当前检测的位置不是所述待检测程序文件的最后一行时，获取当前检测行数的内容。

在一实施例中，所述第一减法表达式的位置包括：所述第一减法表达式所在的第一程序文件名称、所述第一减法表达式在第一程序文件中所在的行数；

所述第二减法表达式的位置包括：所述第二减法表达式所在的第二程序文件名称、所述第二减法表达式在第二程序文件中所在的行数；

所述存在数据溢出的表达式的位置包括：所述存在数据溢出的表达式对应的第三程序文件名称、所述存在数据溢出的表达式在第三程序文件名中的行数；

所述待检测程序文件包括所述第一程序文件、所述第二程序文件、所述第三程序文件。

本发明实施例的第二方面提供了一种对存在数据溢出表达式的检测装置，包括：

获取模块，用于根据待检测文件夹路径，获取待检测文件列表；

读取模块，用于读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容；

处理模块，用于根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数；

保存模块，用于当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置。

在一实施例中，所述处理模块，还用于根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名；

所述装置还包括：确定模块，用于当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数；

所述保存模块，还用于根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置；

所述处理模块，还用于根据Python正则表达式定义的比较表达式、比较表达式的左值和右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值；

所述确定模块，还用于当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

所述保存模块，还用于根据所述第二结果文件、所述第一比较表达式，删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；确定并保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

本发明实施例的第三方面提供了一种终端设备，包括：存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述对存在数据溢出表达式的检测方法所述的步骤。

本发明实施例的第四方面提供了一种计算机可读存储介质，所述计算机可读存储介质存储有计算机程序，所述计算机程序被处理器执行时实现上述对存在数据溢出表达式的检测方法所述的步骤。

本发明实施例与现有技术相比存在的有益效果是：本发明实施例提供一种对存在数据溢出表达式的检测方法及终端设备，通过根据待检测文件夹路径，获取待检测文件列表；读取所述文件列表中的所有程序文件，获取各程序文件的各行内容；根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配各程序文件各行内容中的减法表达式以及所述减法表达式中的被减数和减数；当定义的减法表达式、被减数、减数与待检测程序文件中的第一减法表达式相匹配时，记录并保存第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、第一减法表达式的位置，第一减法表达式即为可能存在数据溢出的表达式，因此本方法可以解决现有技术中无法快速定位嵌入式软件代码中存在数据溢出的表达式的问题。

附图说明

为了更清楚地说明本发明实施例中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。

图1是本发明实施例提供的一种对存在数据溢出表达式的检测方法的实现流程示意图；

图2是本发明实施例提供的另一种对存在数据溢出表达式的检测方法的实现流程示意图；

图3是本发明实施例提供的另一种对存在数据溢出表达式的检测方法的实现流程示意图；

图4是本发明实施例提供的另一种对存在数据溢出表达式的检测方法的实现流程示意图；

图5是本发明实施例提供的一种对存在数据溢出表达式的检测装置的示意图；

图6是本发明实施例提供的另一项对存在数据溢出表达式的检测装置的示意图

图7是本发明实施例提供的终端设备的示意图。

具体实施方式

以下描述中，为了说明而不是为了限定，提出了诸如特定系统结构、技术之类的具体细节，以便透彻理解本发明实施例。然而，本领域的技术人员应当清楚，在没有这些具体细节的其它实施例中也可以实现本发明。在其它情况中，省略对众所周知的系统、装置、电路以及方法的详细说明，以免不必要的细节妨碍本发明的描述。

为了说明本发明所述的技术方案，下面通过具体实施例来进行说明。

本发明实施例提供一种对存在数据溢出表达式的检测方法，如图1所示，该方法包括：

步骤101，根据待检测文件夹路径，获取待检测文件列表。

可选的，先指定检测文件夹路径，然后根据文件夹路径获取待检测文件列表。

步骤102，读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容。

可选的，读取所述文件列表中的待检测程序文件；判断所述待检测程序文件是否为所述文件列表中的最后一个程序文件；若所述待检测程序文件不是所述文件列表中的最后一个程序文件时，打开所述待检测程序文件，并获取所述待检测程序文件的总行数；判断当前检测的位置是否为所述待检测程序文件的最后一行；若当前检测的位置不是所述待检测程序文件的最后一行时，获取当前检测行数的内容。

若所述待检测程序文件是所述文件列表中的最后一个程序文件时，结束当前流程。

若当前检测的位置是所述待检测程序文件的最后一行，关闭所述待检测程序文件，继续读取下一个文件，然后继续执行之前的判断操作，即判断当前读取的待检测程序文件是否为文件列表中最后一个程序文件，直到文件列表中的所有待检测程序文件都检测完成。

步骤103，根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数。

Python正则表达式是一个特殊的字符序列，通常用于在文本中查找匹配的字符串。

可选的，定义的减法表达式可以为(X-Y)，其中，X、Y分别为变量，X为被减数，Y为减数。

步骤104，当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置。

所述第一减法表达式的位置包括：所述第一减法表达式所在的第一程序文件名称、所述第一减法表达式在第一程序文件中所在的行数。

可选的，当所述定义的减法表达式与所述程序文件中的第一减法表达式不相匹配时，检测程序文件中下一行内容，继续根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数，以便将所有程序文件的内容都检测完成。

可选的，采用本方法已经将程序文件中可能存在数据溢出的表达式全部检测出，并且可以确定各数据溢出表达式所在程序文件的名称和具体行数。

进一步的，本方法还包括以下步骤：

根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名。

当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数。

根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置。

根据Python正则表达式定义的比较表达式、比较表达式的左值、比较表达式的右值，逐行匹配第二程序文件中的所有比较表达式和比较表达式的左右值；

当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

根据所述第二结果文件、所述第一比较表达式，确定所述第一比较表达式中左值为被减数；删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；确定并保存为第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

通过采用Python正则表达式的第二次扫描和第三次扫描，将被减数为无符号类型的数据对应的表达式保留，将已做防溢出处理的表达式剔除，这样可以更准确的检测出程序文件中存在数据溢出的表达式。

本发明实施例提供另一种对存在数据溢出表达式的检测方法，通过采用Python正则表达式在待检测程序文件中的三次扫描，准确快速获得存在数据溢出表达式的位置，如图2所示，采用Python正则表达式在待检测程序文件中的第一次扫描，具体步骤包括：

步骤201，根据待检测文件夹路径，获取待检测文件列表。

步骤202，读取所述文件列表中的待检测程序文件。

步骤203，判断所述待检测程序文件是否为所述文件列表中的最后一个程序文件。

若述待检测程序文件是所述文件列表中的最后一个程序文件时，表示已经对文件列表中的所有待检测程序文件全部检测完成，则结束当前流程。

步骤204，若所述待检测程序文件不是所述文件列表中的最后一个程序文件时，打开所述待检测程序文件，并获取所述待检测程序文件的总行数。

步骤205，判断当前检测的位置是否为所述待检测程序文件的最后一行。

步骤206，若当前检测的位置是所述待检测程序文件的最后一行时，则关闭所述待检测程序文件。

步骤206执行完成后，需要检测下一个程序文件，则继续执行步骤202。

步骤207，若当前检测的位置不是所述待检测程序文件的最后一行时，获取当前检测行数的内容。

步骤208，根据Python正则表达式定义的减法表达式、被减数、减数，匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数。

可选的，本步骤具体为：检测当前一行的内容中是否有与Python正则表达式定义的减法表达式、被减数、减数相匹配的表达式。

可选的，Python正则表达式匹配的规则为：

pattern_c_rule＝r’\w{2,30}-\w+’

compile_c_rule＝re.compile(pattern_c_rule)

上述两条为减法表达式的匹配规则；

pattern_minuend＝r’(\w{2,30})-\w+’

compile_minuend＝re.compile(pattern_minuend)

上述两条为被减法的匹配规则；

pattern_subtra＝r’\w{2,30}-(\w+)’

compile_subtra＝re.compile(pattern_subtra)

上述两条为减法的匹配规则。

步骤209，判断定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式是否匹配成功。

步骤210，当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置。

可选的，所述第一减法表达式的位置包括：所述第一减法表达式所在的第一程序文件名称、所述第一减法表达式在第一程序文件中所在的行数。

可选的，通过本实施例提供的方法将待检测文件列表中所有待检测程序文件都检测完，检测出的所有符合条件的第一减法表达式、第一被减数、第一减数都记录并保存在第一结果文件中。

需要说明的是，第一结果文件中保存的各元素一一对应，例如可以采用记录的方式进行保存，则一条记录中包括一个减法表达式，减法表达式中的被减数以及减数，此减法表达式所在的程序文件名称，以及其所在的行数。

步骤211，当定义的所述减法表达式与所述程序文件中的第一减法表达式不匹配时，读取所述待检测程序文件中的下一行的内容。

可选的，这里可以采用计数器对当前的行数进行计数，当前行数的内容检测完成后，计数器对当前的行数执行加1的操作，获得下一行的行数，然后读取下一行的内容，继续执行步骤205。

本发明实施例提供的对存在数据溢出表达式的检测方法，通过对被测嵌入式程序文件进行逐行减法表达式的模糊匹配，从而获取被测程序文件中可能存在数据溢出的位置。

为了更准确的获取被测程序文件中存在数据溢出的位置，本发明实施例通过采用Python正则表达式进行第二次扫描，如图3所示，具体步骤如下：

步骤301，读取第一结果文件中保存的所述第一被减数。

可选的，第一结果文件中的第一被减数可存储在以被减数命名的列表中。

步骤302，判断所述第一被减数是否为最后一个被减数。

当所述第一被减数为最后一个被减数时，则表示第一结果文件中的被减数列表中的所有被减数都被检测完成，则结束该流程。

步骤303，当所述第一被减数不是最后一个被减数时，读取所述第一被减数对应的第一程序文件。

可选的，在第一结果文件中第一被减数对应的待检测程序文件为第一程序文件。

步骤304，判断所述第一程序文件是否为所述文件列表中的最后一个程序文件。

当所述第一程序文件是所述文件列表中的最后一个程序文件时，执行步骤301，读取所述第一结果文件中保存的下一个被减数，直至所有的被减数检测完成。

步骤305，当所述第一程序文件不是所述文件列表中的最后一个程序文件时，打开所述第一程序文件，并获取所述第一程序文件的总行数。

步骤306，判断当前检测的位置是否为所述第一程序文件的最后一行。

步骤307，若当前检测的位置是所述第一程序文件的最后一行时，则关闭所述第一程序文件。

步骤307执行完成后，需要检测下一个程序文件，则继续执行步骤303。

步骤308，若当前检测的位置不是所述第一程序文件的最后一行时，获取当前检测行数的内容。

步骤309，根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名。

可选的，本步骤具体为：检测第一被减数对应的第一程序文件的当前一行的内容是否有与Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名、变量定义表达式的变量名相匹配的变量定义表达式以及数据类型名和变量名。

可选的，Python正则表达式执行的匹配规则为：

pattern_valtype＝r’\b(Unite16|Unite32|float32|Int32|Inte16)\s+(\w+)[；’:]’

compile_valtype＝re.compile(pattern_valtype)。

步骤310，判断所述变量名与所述第一结果文件中的所述第一被减数是否相同。

步骤311,当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型和所述变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数，同时第一结果文件的第一减数，确定为所述第二减数。

步骤312，根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置。

可选的，第一减法表达式、第二减法表达式分别表示一类减法表达式，即第一减法表达式为符合Python正则表达式定义的减法表达式的一类减法表达式，第二减法表达式为符合Python正则表达式定义，并且符合被减数为无符号类型的一类减法表达式。

可选的，第二减法表达式的位置包括：所述第二减法表达式所在的第二程序文件名称、所述第二减法表达式在第二程序文件中所在的行数。

需要说明的是，第二结果文件中保存的各个元素也是一一对应，即所述第二被减数对应的第二减法表达式、所述第二被减数、所述的第二减数、所述第二减法表达式所在的第二程序文件名称、所述第二减法表达式在第二程序文件中所在的行数一一对应。

步骤313，当所述变量与所述第一结果文件中的所述第一被减数不相同时，读取所述第一程序文件中的下一行的内容。

可选的，这里可以采用计数器对当前的行数进行计数，当前行数的内容检测完成后，计数器对当前的行数执行加1的操作，获得下一行的行数，然后读取下一行的内容，继续执行步骤306。

本发明实施例提供的对存在数据溢出表达式的检测方法，通过对被测嵌入式程序文件进行逐行被减数数据类型的检测，从而对第一结果文件中检测出的可能存在数据溢出的表达式的进一步刷选，使得获取的可能存在数据溢出的表达式更准确。

为了更准确的获取被测程序文件中存在数据溢出的位置，本发明实施例通过采用Python正则表达式进行第三次扫描，如图4所示，具体步骤如下：

步骤401，读取第二结果文件中保存的第二被减数。

可选的，第二结果文件中的第二被减数可存储在以被减数命名的列表中。

步骤402，判断所述第二被减数是否为最后一个被减数。

当第二被减数为最后一个被减数时，则表示第二结果文件中的被减数列表中的所有被减数都被检测完成，则结束该流程。

步骤403，当所述第二被减数不是最后一个被减数时，获取所述被减数对应的减数以及所述第二程序文件。

可选的，第二结果文件中保存着第二被减数对应的第二程序文件名称。

步骤404，判断所述第二程序文件是否为所述文件列表中的最后一个程序文件。

当所述第二程序文件是所述文件列表中的最后一个程序文件时，执行步骤401，读取所述第一结果文件中保存的下一个被减数，直至所有的被减数被检测完成。

步骤405，当所述第二程序文件不是所述文件列表中的最后一个程序文件时，打开所述第二程序文件，并获取所述第二程序文件的总行数。

步骤406，判断当前检测的位置是否为所述第二程序文件的最后一行。

步骤407，若当前检测的位置是所述第二程序文件的最后一行时，则关闭所述第二程序文件。

步骤407执行完成后，需要检测下一个程序文件，则继续执行步骤403。

步骤408，若当前检测的位置不是所述第二程序文件的最后一行时，获取当前检测行数的内容。

步骤409，根据Python正则表达式定义的比较表达式、比较表达式的左值、比较表达式的右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值。

可选的，本步骤具体为：检测第二被减数对应的第二程序文件中当前一行的内容中是否有与Python正则表达式定义的比较表达式相匹配的表达式以及比较表达式的左值和右值。

可选的，Python正则表达式匹配的规则为：

pattern_greater＝r’(\w{2,30})>＝(\w+)’

compile_greater＝re.compile(pattern_greater)。

步骤410，判断所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数是否相同，以及比较表达式的右值与所述第二结果文件的所述第二减数是否相同。

可选的，定义的比较表达式可以为(X>＝Y)。本步骤可以根据定义的比较表达式判断当前行内容中的第一比较表达式的左值是否为被减数，第一比较表达式的右值是否为减数，即被减数是否大于等于减数。

步骤411，当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式。

步骤412，根据所述第二结果文件、所述第一比较表达式，确定并保存第三结果文件。

可选的，第一比较表达式为已做防溢出处理的比较表达式，不是本方法需要获取的可能存在数据溢出的表达式，因此需要将第二结果文件中删除第一比较表达式左值对应的第三减法表达式。

具体地，本步骤包括：确定所述第一比较表达式中左值为被减数；删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；

保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。所述存在数据溢出的表达式的位置包括：所述存在数据溢出的表达式对应的第三程序文件名称、所述存在数据溢出的表达式在第三程序文件名中的行数。

步骤413，当所述定义的比较表达式与所述第二程序文件中的第一比较表达式不匹配时，读取所述第二程序文件中的下一行的内容。

可选的，这里可以采用计数器对当前的行数进行计数，当前行数的内容检测完成后，计数器对当前的行数执行加1的操作，获得下一行的行数，然后读取下一行的内容，继续执行步骤406。

本发明实施例提供的对存在数据溢出表达式的检测方法，通过对被测嵌入式程序文件进行逐行比较表达式的检测，从而对第二结果文件中检测出的可能存在数据溢出的表达式的进一步刷选，从而获取更准确的可能存在数据溢出的。整个检测过程，操作简单，不需额外暂用芯片资源，只需要将被测程序文件拷贝到执行文件夹中，运行脚本就能够快速定位被测软件未做防溢出处理的代码位置，对减少软件漏洞，防止内存写越界的预防具有较大意义。

应理解，上述实施例中各步骤的序号的大小并不意味着执行顺序的先后，各过程的执行顺序应以其功能和内在逻辑确定，而不应对本发明实施例的实施过程构成任何限定。

本发明实施例提供一种对存在数据溢出表达式的检测装置，如图5所示，该装置包括：获取模块501，读取模块502，处理模块503，保存模块504。

获取模块501，用于根据待检测文件夹路径，获取待检测文件列表。

读取模块502，用于读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容。

可选的，所述读取模块502用于，读取所述文件列表中的待检测程序文件；判断所述待检测程序文件是否为所述文件列表中的最后一个程序文件；若所述待检测程序文件不是所述文件列表中的最后一个程序文件时，打开所述待检测程序文件，并获取所述待检测程序文件的总行数；判断当前检测的位置是否为所述待检测程序文件的最后一行；若当前检测的位置不是所述待检测程序文件的最后一行时，获取当前检测行数的内容。

处理模块503，用于根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数。

当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，保存模块504，用于记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置。

可选的，所述处理模块503，还用于根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名；

进一步的，如图6所示，所述装置还包括：确定模块505，用于当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数。

所述保存模块504，还用于根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置；

所述处理模块503，还用于根据Python正则表达式定义的比较表达式、比较表达式的左值和右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值；

所述确定模块505，还用于当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

所述保存模块504，还用于根据所述第二结果文件、所述第一比较表达式，删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；确定并保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

可选的，所述第一减法表达式的位置包括：所述第一减法表达式所在的第一程序文件名称、所述第一减法表达式在第一程序文件中所在的行数；

所述第二减法表达式的位置包括：所述第二减法表达式所在的第二程序文件名称、所述第二减法表达式在第二程序文件中所在的行数；

所述存在数据溢出的表达式的位置包括：所述存在数据溢出的表达式对应的第三程序文件名称、所述存在数据溢出的表达式在第三程序文件名中的行数；

所述待检测程序文件包括所述第一程序文件、所述第二程序文件、所述第三程序文件。

本发明实施例提供一种对存在数据溢出表达式的检测装置，根据待检测文件夹路径，获取模块获取待检测文件列表；读取模块读取所述文件列表中的所有程序文件，获取各程序文件的各行内容；处理模块根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配各程序文件各行内容中的减法表达式；当定义的减法表达式、被减数、减数与待检测程序文件中的第一减法表达式相匹配时，保存模块记录并保存第一减法表达式、第一减法表达式的位置，第一减法表达式即为可能存在数据溢出的表达式，本装置实现的流程可以实现快速定位嵌入式软件代码中存在数据溢出的表达式。

图7是本发明一实施例提供的终端设备的示意图。如图7所示，该实施例的终端设备7包括：处理器701、存储器702以及存储在所述存储器702中并可在所述处理器701上运行的计算机程序703，例如对存在数据溢出表达式的检测程序。所述处理器701执行所述计算机程序703时实现上述存在数据溢出表达式的检测方法实施例中的步骤，例如图1所示的步骤101至104，或者图2所示的步骤201至步骤211，或者图3所示的步骤301至步骤313，或者如图4所示的步骤401至步骤413。所述处理器701执行所述计算机程序703时实现上述各装置实施例中各模块的功能，例如图5所示模块501至504的功能，或者图6所示模块501至505的功能。

示例性的，所述计算机程序703可以被分割成一个或多个模块，所述一个或者多个模块被存储在所述存储器702中，并由所述处理器701执行，以完成本发明。所述一个或多个模块可以是能够完成特定功能的一系列计算机程序指令段，该指令段用于描述所述计算机程序703在对存在数据溢出表达式的检测装置或者终端设备7中的执行过程。例如，所述计算机程序703可以被分割成获取模块，读取模块，处理模块，保存模块，各模块具体功能如图5或6所示，在此不再一一赘述。

所述终端设备7可以是桌上型计算机、笔记本、掌上电脑及云端服务器等计算设备。所述终端设备可包括，但不仅限于，处理器701、存储器702。本领域技术人员可以理解，图7仅仅是终端设备7的示例，并不构成对终端设备7的限定，可以包括比图示更多或更少的部件，或者组合某些部件，或者不同的部件，例如所述终端设备还可以包括输入输出设备、网络接入设备、总线等。

所称处理器701可以是中央处理单元(Central Processing Unit，CPU)，还可以是其他通用处理器、数字信号处理器(Digital Signal Processor，DSP)、专用集成电路(Application Specific Integrated Circuit，ASIC)、现成可编程门阵列(Field-Programmable Gate Array，FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件等。通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。

所述存储器702可以是所述终端设备7的内部存储单元，例如终端设备7的硬盘或内存。所述存储器702也可以是所述终端设备7的外部存储设备，例如所述终端设备7上配备的插接式硬盘，智能存储卡(Smart Media Card,SMC)，安全数字(Secure Digital,SD)卡，闪存卡(Flash Card)等。进一步地，所述存储器702还可以既包括所述终端设备7的内部存储单元也包括外部存储设备。所述存储器702用于存储所述计算机程序以及所述终端设备7所需的其他程序和数据。所述存储器702还可以用于暂时地存储已经输出或者将要输出的数据。

所属领域的技术人员可以清楚地了解到，为了描述的方便和简洁，仅以上述各功能单元、模块的划分进行举例说明，实际应用中，可以根据需要而将上述功能分配由不同的功能单元、模块完成，即将所述装置的内部结构划分成不同的功能单元或模块，以完成以上描述的全部或者部分功能。实施例中的各功能单元、模块可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中，上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。另外，各功能单元、模块的具体名称也只是为了便于相互区分，并不用于限制本申请的保护范围。上述系统中单元、模块的具体工作过程，可以参考前述方法实施例中的对应过程，在此不再赘述。

在上述实施例中，对各个实施例的描述都各有侧重，某个实施例中没有详述或记载的部分，可以参见其它实施例的相关描述。

本领域普通技术人员可以意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、或者计算机软件和电子硬件的结合来实现。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本发明的范围。

在本发明所提供的实施例中，应该理解到，所揭露的装置/终端设备和方法，可以通过其它的方式实现。例如，以上所描述的装置/终端设备实施例仅仅是示意性的，例如，所述模块或单元的划分，仅仅为一种逻辑功能划分，实际实现时可以有另外的划分方式，例如多个单元或组件可以结合或者可以集成到另一个系统，或一些特征可以忽略，或不执行。另一点，所显示或讨论的相互之间的耦合或直接耦合或通讯连接可以是通过一些接口，装置或单元的间接耦合或通讯连接，可以是电性，机械或其它的形式。

所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。

另外，在本发明各个实施例中的各功能单元可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中。上述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。

所述集成的模块/单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本发明实现上述实施例方法中的全部或部分流程，也可以通过计算机程序来指令相关的硬件来完成，所述的计算机程序可存储于一计算机可读存储介质中，该计算机程序在被处理器执行时，可实现上述各个方法实施例的步骤。其中，所述计算机程序包括计算机程序代码，所述计算机程序代码可以为源代码形式、对象代码形式、可执行文件或某些中间形式等。所述计算机可读介质可以包括：能够携带所述计算机程序代码的任何实体或装置、记录介质、U盘、移动硬盘、磁碟、光盘、计算机存储器、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，Random Access Memory)、电载波信号、电信信号以及软件分发介质等。需要说明的是，所述计算机可读介质包含的内容可以根据司法管辖区内立法和专利实践的要求进行适当的增减，例如在某些司法管辖区，根据立法和专利实践，计算机可读介质不包括电载波信号和电信信号。

以上所述实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围，均应包含在本发明的保护范围之内。

Claims (9)

1.一种对存在数据溢出表达式的检测方法，其特征在于，包括：

根据待检测文件夹路径，获取待检测文件列表；

读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容；

根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数，包括：检测当前一行的内容中是否有与Python正则表达式定义的减法表达式、被减数、减数相匹配的表达式；

当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置；

根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名；

当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数；

根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置。

2.如权利要求1所述的对存在数据溢出表达式的检测方法，其特征在于，在所述确定并保存第二结果文件之后，还包括：

根据Python正则表达式定义的比较表达式、比较表达式的左值、比较表达式的右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值；

当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

根据所述第二结果文件、所述第一比较表达式，确定并保存第三结果文件。

3.如权利要求2所述的对存在数据溢出表达式的检测方法，其特征在于，所述根据所述第二结果文件、所述第一比较表达式，确定并保存第三结果文件，包括：

确定所述第一比较表达式中左值为被减数；

删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；

保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

4.如权利要求3所述的对存在数据溢出表达式的检测方法，其特征在于，所述读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容，包括：

读取所述文件列表中的待检测程序文件；

判断所述待检测程序文件是否为所述文件列表中的最后一个程序文件；

若所述待检测程序文件不是所述文件列表中的最后一个程序文件时，打开所述待检测程序文件，并获取所述待检测程序文件的总行数；

判断当前检测的位置是否为所述待检测程序文件的最后一行；

若当前检测的位置不是所述待检测程序文件的最后一行时，获取当前检测行数的内容。

5.如权利要求4所述的对存在数据溢出表达式的检测方法，其特征在于，

所述第一减法表达式的位置包括：所述第一减法表达式所在的第一程序文件名称、所述第一减法表达式在第一程序文件中所在的行数；

所述第二减法表达式的位置包括：所述第二减法表达式所在的第二程序文件名称、所述第二减法表达式在第二程序文件中所在的行数；

所述存在数据溢出的表达式的位置包括：所述存在数据溢出的表达式对应的第三程序文件名称、所述存在数据溢出的表达式在第三程序文件名中的行数；

所述待检测程序文件包括所述第一程序文件、所述第二程序文件、所述第三程序文件。

6.一种对存在数据溢出表达式的检测装置，其特征在于，包括：

获取模块，用于根据待检测文件夹路径，获取待检测文件列表；

读取模块，用于读取所述文件列表中的待检测程序文件，获取所述待检测程序文件的内容；

处理模块，用于根据Python正则表达式定义的减法表达式、被减数、减数，逐行匹配所述待检测程序文件的内容中的减法表达式以及所述减法表达式中的被减数和减数，包括：检测当前一行的内容中是否有与Python正则表达式定义的减法表达式、被减数、减数相匹配的表达式；

保存模块，用于当定义的所述减法表达式、所述被减数、所述减数与所述待检测程序文件中的第一减法表达式相匹配时，记录并保存第一结果文件，所述第一结果文件包括所述第一减法表达式、所述第一减法表达式对应的第一被减数、所述第一减法表达式对应的第一减数、所述第一减法表达式的位置；

所述处理模块，还用于根据Python正则表达式定义的变量定义表达式、变量定义表达式中的数据类型名和变量名，逐行匹配第一程序文件中变量声明定义的所述变量定义表达式以及所述变量定义表达式中的数据类型名和变量名；

所述装置还包括：确定模块，用于当所述变量名与所述第一结果文件中的所述第一被减数相同时，确定所述第一程序文件中的被减数的数据类型与该变量的数据类型一致，同时保留无符号数据类型的被减数，确定为第二被减数；所述第一结果文件中的第一减数，确定为第二减数；

所述保存模块，还用于根据所述第一结果文件、所述第二被减数、所述第二减数，确定并保存第二结果文件，所述第二结果文件包括所述第二被减数、所述第二减数、所述第二被减数对应的第二减法表达式、所述第二减法表达式的位置。

7.如权利要求6所述的对存在数据溢出表达式的检测装置，其特征在于，

所述处理模块，还用于根据Python正则表达式定义的比较表达式、比较表达式的左值和右值，逐行匹配第二程序文件中的所有比较表达式以及比较表达式的左值和右值；

所述确定模块，还用于当所述定义的比较表达式的左值与所述第二结果文件的所述第二被减数相同，比较表达式的右值与所述第二结果文件的所述第二减数相同时，确定所述第二程序文件中的第一比较表达式为已做防溢出处理的比较表达式，保存所述第一比较表达式；

所述保存模块，还用于根据所述第二结果文件、所述第一比较表达式，删除所述第二结果文件中的第三减法表达式，确定所述第二结果文件中剩余的减法表达式为存在数据溢出的表达式，所述第三减法表达式为所述第一比较表达式中被减数对应的减法表达式；确定并保存第三结果文件，所述第三结果文件包括存在数据溢出的表达式、所述存在数据溢出的表达式的位置。

8.一种终端设备，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1至5任一项所述方法的步骤。

9.一种计算机可读存储介质，所述计算机可读存储介质存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1至5任一项所述方法的步骤。

Images