公开(公告)号：CN111737131B

公开(公告)日：2023-08-08

申请号：CN202010576945.3

申请日：2020-06-23

Applicant: 南京大学

Inventor： 许蕾 ,  王智楷 ,  刘翔宇 ,  田晓滨 ,  王瀚霖 ,  颜同路

IPC: G06F11/36 ,  G06F16/35

Abstract: 本发明为一种基于概率对齐的代码错误定位方法。其特征是通过LLVM工具对源代码进行优化，提取出程序的符号信息并跟踪执行流程，再根据提取的信息对程序实例进行分类存储，构建代码结构和符号执行流，之后对代码实例进行序列对齐，并在此基础上进行概率对齐，最后根据两个程序的关键实例和对齐结果切片，并进行二次对齐，关注应该匹配但没有匹配的实例，从而实现错误定位。

公开(公告)号：CN111737131A

公开(公告)日：2020-10-02

申请号：CN202010576945.3

申请日：2020-06-23

Applicant: 南京大学

Inventor： 许蕾 ,  王智楷 ,  刘翔宇 ,  田晓滨 ,  王瀚霖 ,  颜同路

IPC: G06F11/36 ,  G06F16/35

Abstract: 本发明为一种基于概率对齐的代码错误定位方法。其特征是通过LLVM工具对源代码进行优化，提取出程序的符号信息并跟踪执行流程，再根据提取的信息对程序实例进行分类存储，构建代码结构和符号执行流，之后对代码实例进行序列对齐，并在此基础上进行概率对齐，最后根据两个程序的关键实例和对齐结果切片，并进行二次对齐，关注应该匹配但没有匹配的实例，从而实现错误定位。