专利检索 ap:("支付宝知识产权控股公司") AND inv:"李世杰" 第 1 页

1.

发明授权
一种软件缺陷检测方法、装置、计算机设备和存储介质有权转让

公开(公告)号：CN111026663B

公开(公告)日：2023-06-09

申请号：CN201911249611.9

申请日：2019-12-09

申请人： 支付宝知识产权控股公司

发明人： 李隆 , 朱庆 , 赖建新 , 李世杰

IPC分类号： G06F11/36

摘要： 本发明属于计算机技术领域，尤其涉及一种软件缺陷检测方法、装置、计算机设备和存储介质，所述软件缺陷检测方法包括：获取软件源代码以及规则描述源代码，其中规则描述源代码包含至少一条用户自定义的检测规则信息；将软件源代码和规则描述源代码分别转化为以静态单赋值形式表示的软件中介码和规则描述中介码；根据软件中介码以及规则描述中介码确定所述检测规则信息是否被违反。本发明提供的软件缺陷检测方法，能够支持用户使用自己熟知的编程语言自定义编写检测需求，利用语义推导确定用户的检测需求并进行软件缺陷检测。