公开(公告)号：CN115951892B

公开(公告)日：2024-12-20

申请号：CN202211390998.1

申请日：2022-11-08

Applicant: 北京交通大学

Inventor： 李红辉 ,  刘桂壮 ,  王博 ,  张骏温 ,  张大林 ,  申玉琪

IPC: G06F8/41

Abstract: 本发明公开了一种基于表达式的程序补丁生成方法，所述方法用于在表达式级别对缺陷程序进行修复以完成细粒度的修复，所述程序补丁生成方法能够被一个或多个处理器执行，包括：S1，所述一个或多个处理器在将程序进行第一级分解以得到表示式和语句后，继续针对特定类型的语句进行第二级分解以保留部分语句作为修复成分；S2，所述一个或多个处理器基于类型过滤和上下文感知对所述修复成分进行提取以为缺陷位置分配表达式修复成分；S3，所述一个或多个处理器在语法树上修改表达式节点后，生成表达式补丁语句，并引入第三方数据源指导修复操作；S4，所述一个或多个处理器将缺陷位置、操作符和所述表达式补丁语句结合后形成最终的补丁。

公开(公告)号：CN115951892A

公开(公告)日：2023-04-11

申请号：CN202211390998.1

申请日：2022-11-08

Applicant: 北京交通大学

Inventor： 李红辉 ,  刘桂壮 ,  王博 ,  张骏温 ,  张大林 ,  申玉琪

IPC: G06F8/41

Abstract: 本发明公开了一种基于表达式的程序补丁生成方法，所述方法用于在表达式级别对缺陷程序进行修复以完成细粒度的修复，所述程序补丁生成方法能够被一个或多个处理器执行，包括：S1，所述一个或多个处理器在将程序进行第一级分解以得到表示式和语句后，继续针对特定类型的语句进行第二级分解以保留部分语句作为修复成分；S2，所述一个或多个处理器基于类型过滤和上下文感知对所述修复成分进行提取以为缺陷位置分配表达式修复成分；S3，所述一个或多个处理器在语法树上修改表达式节点后，生成表达式补丁语句，并引入第三方数据源指导修复操作；S4，所述一个或多个处理器将缺陷位置、操作符和所述表达式补丁语句结合后形成最终的补丁。