公开(公告)号：CN114416570B

公开(公告)日：2024-05-28

申请号：CN202210068537.6

申请日：2022-01-20

Applicant: 哈尔滨工业大学

Inventor： 苏小红 ,  龚丹 ,  王甜甜 ,  张彦航

IPC: G06F11/36

Abstract: 本发明公开了一种基于加权软件行为图的等价变异体检测方法，首先解析原始程序和变异体的源代码，进行语句级插桩，为后续执行时捕获执行路径奠定基础。其次，分别运行原始程序和变异体，在相同的输入下，如果变异体的输出与原始程序的输出不一致，这类变异体一定是不等价的，直接排除，否则可能是等价的，继续后续处理。最后，逐一对比相同输入下变异体和原始程序的加权软件行为图，如果在任一输入下二者不相等，则该变异体与原始程序不等价，如果在全部输入下二者始终相等，则该变异体等价于原始程序。该方法既能够像人工判定时一样准确追踪程序的内部执行行为，提高等价变异体判断的准确性，又能够减少人工判定成本，提高等价变异体检测的效率。

公开(公告)号：CN114416570A

公开(公告)日：2022-04-29

申请号：CN202210068537.6

申请日：2022-01-20

Applicant: 哈尔滨工业大学

Inventor： 苏小红 ,  龚丹 ,  王甜甜 ,  张彦航

IPC: G06F11/36

Abstract: 本发明公开了一种基于加权软件行为图的等价变异体检测方法，首先解析原始程序和变异体的源代码，进行语句级插桩，为后续执行时捕获执行路径奠定基础。其次，分别运行原始程序和变异体，在相同的输入下，如果变异体的输出与原始程序的输出不一致，这类变异体一定是不等价的，直接排除，否则可能是等价的，继续后续处理。最后，逐一对比相同输入下变异体和原始程序的加权软件行为图，如果在任一输入下二者不相等，则该变异体与原始程序不等价，如果在全部输入下二者始终相等，则该变异体等价于原始程序。该方法既能够像人工判定时一样准确追踪程序的内部执行行为，提高等价变异体判断的准确性，又能够减少人工判定成本，提高等价变异体检测的效率。