(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210183362.3 (22)申请日 2022.02.28 (71)申请人 中国人民解 放军国防科技大 学 地址 410073 湖南省长 沙市开福区德雅路 109号 (72)发明人 黄晖　陆余良　刘京菊　潘祖烈　 王永杰　杨国正　赵军　赵顺恺　 (74)专利代理 机构 中国和平利用军工技 术协会 专利中心 1 1215 专利代理师 刘光德 (51)Int.Cl. G06F 11/36(2006.01) G06F 9/445(2018.01) G06F 9/455(2006.01) (54)发明名称 一种基于动态符号执行的调试方法、 系统和 介质 (57)摘要 本公开提供一种基于动态符号执行的调试 方法、 系统和介质。 所述调试方法包括： 步骤S1、 启动调试服务端的目标程序， 对 所述目标程序执 行具体‑符号执行， 所述具体 ‑符号执行同时对所 述目标程序执行具体执行和符号执行； 步骤S2、 经由所述调试服务端和调试客户端之间的连接， 接收来自所述调试客户端由用户输入的命令， 并 基于所述命令的类别确定对应的模块， 由所述模 块利用所述具体 ‑符号执行来执行所述命令； 以 及步骤S3、 采集执行结果， 将所述执行结果发送 至所述调试客户端。 该方法在动态 二进制翻译 过 程中加入动态符号执行机制， 由此得到关注程序 变量对于外部输入的显示依 赖关系， 提升软件调 试的效率。 权利要求书2页 说明书9页 附图3页 CN 114510429 A 2022.05.17 CN 114510429 A 1.一种基于动态符号执 行的调试 方法， 其特 征在于， 所述调试 方法包括： 步骤S1、 启动调试服务端的目标程序， 对所述目标程序执行具体 ‑符号执行， 所述具体 ‑ 符号执行同时对所述目标程序执 行具体执行和符号执 行； 步骤S2、 经由所述调试服务端和调试客户端之间的连接， 接收来自所述调试客户端由 用户输入的命令， 并基于所述命令的类别确定对应的模块， 由所述模块利用所述具体 ‑符号 执行来执行所述命令； 以及 步骤S3、 采集执 行结果， 将所述执 行结果发送至所述调试客户端。 2.根据权利要求1所述的基于动态符号执行的调试方法， 其特征在于， 所述具体 ‑符号 执行包括： 从所述目标程序中提取基本块， 并生成微指令序列； 扫描所述 微指令序列中寄存器对应的机器 状态； 当寄存器为符号状态时， 提升微指令块至中间语言以执 行所述符号执 行； 否则， 提取下一条微指令， 判断所述微指令的访 问内存是否为符号状态， 若是， 则提升 所述微指令块至所述中间语言以执 行所述符号执 行， 若否， 则继续 提取后续的微指令 。 3.根据权利要求1所述的基于动态符号执行的调试方法， 其特征在于， 所述命令包括： 操作系统执 行监控命令、 指令控制流 监控命令和机器 状态读取/修改命令 。 4.根据权利要求3所述的基于动态符号执 行的调试 方法， 其特 征在于， 其中： 与所述操作系统执行监控命令对应的模块被配置为， 对所述目标程序内的指令执行时 刻进行挂钩； 与所述指令控制流监控命令对应的模块被配置为， 对所述目标程序内的系统运行时刻 进行挂钩； 以及 与所述机器状态读取/修改命令对应的模块被配置为， 对所述目标程序内的数据状态 进行读取/修改。 5.一种基于动态符号执 行的调试系统， 其特 征在于， 所述调试系统包括： 第一模块， 被配置为， 启动调试服务端的目标程序， 对所述目标程序执行具体 ‑符号执 行， 所述具体 ‑符号执行同时对所述目标程序执 行具体执行和符号执 行； 第二模块， 被配置为， 经由所述调试服务端和调试客户端之间的连接， 接收来自所述调 试客户端由用户输入的命令， 并基于所述命令的类别确定对应的模块， 由所述模块利用所 述具体‑符号执行来执行所述命令； 以及 第三模块， 被 配置为， 采集执 行结果， 将所述执 行结果发送至所述调试客户端。 6.根据权利要求5所述的基于动态符号执行的调试系统， 其特征在于， 所述具体 ‑符号 执行包括： 从所述目标程序中提取基本块， 并生成微指令序列； 扫描所述 微指令序列中寄存器对应的机器 状态； 当寄存器为符号状态时， 提升微指令块至中间语言以执 行所述符号执 行； 否则， 提取下一条微指令， 判断所述微指令的访 问内存是否为符号状态， 若是， 则提升 所述微指令块至所述中间语言以执 行所述符号执 行， 若否， 则继续 提取后续的微指令 。 7.根据权利要求5所述的基于动态符号执行的调试系统， 其特征在于， 所述命令包括： 操作系统执 行监控命令、 指令控制流 监控命令和机器 状态读取/修改命令 。权　利　要　求　书 1/2 页 2 CN 114510429 A 28.根据权利要求7 所述的基于动态符号执 行的调试系统， 其特 征在于， 其中： 与所述操作系统执行监控命令对应的模块被配置为， 对所述目标程序内的指令执行时 刻进行挂钩； 与所述指令控制流监控命令对应的模块被配置为， 对所述目标程序内的系统运行时刻 进行挂钩； 以及 与所述机器状态读取/修改命令对应的模块被配置为， 对所述目标程序内的数据状态 进行读取/修改。 9.一种存储有指令的非暂时性计算机可读介质， 当所述指令由处理器执行时， 执行根 据权利要求1 ‑4中任一项所述的基于动态符号执 行的调试 方法中的步骤。权　利　要　求　书 2/2 页 3 CN 114510429 A 3