基于加权软件行为图的等价变异体检测方法
实质审查的生效
摘要

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

基本信息
专利标题 :
基于加权软件行为图的等价变异体检测方法
专利标题(英):
暂无
公开(公告)号 :
CN114416570A
申请号 :
CN202210068537.6
公开(公告)日 :
2022-04-29
申请日 :
2022-01-20
授权号 :
暂无
授权日 :
暂无
发明人 :
苏小红龚丹王甜甜张彦航
申请人 :
哈尔滨工业大学
申请人地址 :
黑龙江省哈尔滨市南岗区西大直街92号
代理机构 :
哈尔滨龙科专利代理有限公司
代理人 :
李智慧
优先权 :
CN202210068537.6
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-20 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20220120
2022-04-29 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332