公开(公告)号：CN110457208A

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

申请号：CN201910639918.3

申请日：2019-07-16

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

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

IPC: G06F11/36

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

公开(公告)号：CN105426551A

公开(公告)日：2016-03-23

申请号：CN201511023437.8

申请日：2015-12-31

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

Inventor： 马晋 ,  邢利 ,  郑锦锋 ,  王明华 ,  陈晨 ,  刘晓文 ,  郭震宇

IPC: G06F17/30

CPC classification number: G06F16/3331

Abstract: 本发明提出一种文言文搜索方法和装置，该文言文搜索方法包括：接收白话文；根据所述白话文进行搜索，获取搜索结果，所述搜索结果包括：与所述白话文相关的文言文；在搜索结果页上，展现所述搜索结果。该方法能够基于白话文实现对相关文言文的搜索，并且可以降低用户查找成本、更好满足用户需求。

公开(公告)号：CN110457208B

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

申请号：CN201910639918.3

申请日：2019-07-16

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

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

IPC: G06F11/36

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