公开(公告)号：CN110457208A

公开(公告)日：2019-11-15

申请号：CN201910639918.3

申请日：2019-07-16

Applicant: 百度在线网络技术(北京)有限公司

Inventor： 冯倩 ,  郭生健 ,  李鹏 ,  王明华 ,  张玉龙 ,  韦韬

IPC: G06F11/36

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

公开(公告)号：CN110457208B

公开(公告)日：2023-01-06

申请号：CN201910639918.3

申请日：2019-07-16

Applicant: 百度在线网络技术(北京)有限公司

Inventor： 冯倩 ,  郭生健 ,  李鹏 ,  王明华 ,  张玉龙 ,  韦韬

IPC: G06F11/36

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