[发明专利]软件缺陷检测方法及装置

摘要

本发明公开了一种软件缺陷检测方法及装置，属于计算机领域。所述方法包括：基于指定错误类型，从待检测源代码中，获取初检代码集合，所述初检代码集合中包括多个存在潜在缺陷的代码段；对于所述初检代码集合中的每个代码段，对所述代码段进行危险路径筛选，得到所述代码段的指令集，所述指令集中包括危险路径；分别对所述每个代码段的指令集进行路径可行性检测，以对所述待检测源代码进行软件缺陷检测。本发明通过对所获初检代码集合包括的代码段中的路径进行危险路径筛选，并对危险路径进行路径可行性检测，进而在保证软件缺陷检测的准确性的前提下，减小缺陷检测所消耗的时间，提高软件缺陷检测的效率。

主权项

1.一种软件缺陷检测方法，其特征在于，所述方法包括：基于指定错误类型，从待检测源代码中，获取初检代码集合，所述初检代码集合中包括多个存在潜在缺陷的代码段；对于所述初检代码集合中的每个代码段，对所述代码段中的路径进行二分决策图BDD标注，得到多个BDD路径标注；从所述多个BDD路径标注中，选择定值点的路径标注，得到多个第一路径标注，以及从所述多个BDD路径标注中，选择引用点的路径标注，得到多个第二路径标注；基于所述多个第一路径标注和所述多个第二路径标注，对所述代码段进行危险路径筛选，得到所述代码段的指令集，所述指令集中包括危险路径；分别对所述每个代码段的指令集进行路径可行性检测，以对所述待检测源代码进行软件缺陷检测。