Patent search ap:("桂林电子科技大学") AND inv:"关晓龙" Page 1

1.

发明公开
一种基于程序切片的代码缺陷检测方法审中-实审

公开(公告)号：CN117271364A

公开(公告)日：2023-12-22

申请号：CN202311377990.6

申请日：2023-10-24

Applicant: 桂林电子科技大学

Inventor： 唐成华 , 帅活力 , 关晓龙 , 张靖

IPC: G06F11/36 , G06F21/57 , G06F21/56

Abstract: 本发明涉及程序缺陷检测技术领域，具体涉及一种基于程序切片的代码缺陷检测方法。一种基于程序切片的代码缺陷检测方法，包括如下步骤：生成敏感变量列表、函数调用和函数声明的关联列表以及敏感变量的变量关联集；提取代码中的语义依赖信息，相应补充至普通结点、函数声明结点和函数调用结点中，建立程序的控制流变量依赖图，建立交叉函数的控制流变量依赖图，步骤5，遍历交叉函数的控制流变量依赖图执行切片，以敏感变量列表中的变量和该敏感变量的变量关联集合中的变量作为新切片阶段需追踪的变量，本发明将集合中的变量作为切片阶段需追踪的变量进行切片，对结果中的语句进行语义分析和约束检查，提高了缺陷检测率。

Patent Agency Ranking