[发明专利]符号执行的引导方法、装置、设备及计算机可读存储介质

说明书

本申请提供一种符号执行的引导方法、装置、设备及计算机可读存储介质。本申请实施例通过确定程序的特定代码区域，进而，则可以利用程序逆向分析方法，获得所述程序的特定代码区域所对应的所述程序的程序循环输出，使得能够根据所述程序的程序循环输出，利用程序循环预测器，获得所述特定代码区域所对应的所述程序的程序循环输入，这样，可以利用所获得的所述特定代码区域所对应的所述程序的程序循环输入，引导符号执行过滤不可能的执行路径跳出程序循环到达所述特定代码区域，从而提高了符号执行的可靠性。

【技术领域】

本申请涉及软件测试技术，尤其涉及一种符号执行的引导方法、装置、设备及计算机可读存储介质。

【背景技术】

符号执行(Symbolic Execution)是一种程序分析技术，它可以通过分析程序来获得到达特定代码区域的程序输入。例如，在软件测试中，符号执行(symbolic execution)可以被用于生成可到达程序的漏洞点所在代码区域的程序输入。

然而，在一些情况下，例如，符号执行在处理程序中的程序循环时可能会存在路径爆炸(Path Explosion)的现象，使得符号执行无法跳出程序循环，从而无法生成可到达程序的特定代码区域的程序输入，从而导致了符号执行的可靠性的降低。

【发明内容】

本申请的多个方面提供一种符号执行的引导方法、装置、设备及计算机可读存储介质，用以提高符号执行的可靠性。

本申请的一方面，提供一种符号执行的引导方法，包括：

确定程序的特定代码区域；

利用程序逆向分析方法，获得所述程序的特定代码区域所对应的所述程序的程序循环输出；

根据所述程序的程序循环输出，利用程序循环预测器，获得所述特定代码区域所对应的所述程序的程序循环输入。

本申请的另一方面，提供一种符号执行的引导装置，包括：

确定单元，用于确定程序的特定代码区域；

执行单元，用于利用程序逆向分析方法，获得所述程序的特定代码区域所对应的所述程序的程序循环输出；

预测单元，用于根据所述程序的程序循环输出，利用程序循环预测器，获得所述特定代码区域所对应的所述程序的程序循环输入。

本申请的另一方面，提供一种设备，所述设备包括：

一个或多个处理器；

存储装置，用于存储一个或多个程序，

当所述一个或多个程序被所述一个或多个处理器执行，使得所述一个或多个处理器实现如上述一方面所提供的符号执行的引导方法。

本申请的另一方面，提供一种计算机可读存储介质，其上存储有计算机程序，该程序被处理器执行时实现如上述一方面所提供的符号执行的引导方法。

由上述技术方案可知，本申请实施例通过确定程序的特定代码区域，进而，则可以利用程序逆向分析方法，获得所述程序的特定代码区域所对应的所述程序的程序循环输出，使得能够根据所述程序的程序循环输出，利用程序循环预测器，获得所述特定代码区域所对应的所述程序的程序循环输入，这样，可以利用所获得的所述特定代码区域所对应的所述程序的程序循环输入，引导符号执行过滤不可能的执行路径跳出程序循环到达所述特定代码区域，从而提高了符号执行的可靠性。

另外，采用本申请所提供的技术方案，能够生成程序到达该程序的特定代码区域的有效的程序循环输入，从而有效提高了程序的测试效率。