基于约束分析和模型检验的代码安全漏洞检测方法

被引：0

专利类型：

发明

申请号：

CN200910086938.9

申请日：

2009-06-11

公开(公告)号：

CN101571828A

公开(公告)日：

2009-11-04

发明(设计)人：

王雷陈归赵朋超张强

申请人：

申请人地址：

100191北京市海淀区学院路37号

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

北京科迪生专利代理有限责任公司

代理人：

李新华;徐开翟

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2010-01-13	实质审查的生效	实质审查的生效
2009-11-04	公开	公开
2012-07-04	授权	授权
2019-05-31	专利权的终止	未缴年费专利权终止 IPC(主分类):G06F 11/36 申请日:20090611 授权公告日:20120704 终止日期:20180611

共 50 条

[1]

基于函数调用图的并行化安全漏洞检测方法 [P].

王雷 ;

王刚 ;

王欢 ;

陈归 ;

李康 .

中国专利 :CN102567200A ,2012-07-11

[2]

一种基于安全漏洞缺陷模式的检测方法 [P].

宫云战 ;

陈俊亮 ;

杨朝红 ;

肖庆 ;

金大海 ;

李飞宇 .

中国专利 :CN101482847A ,2009-07-15

[3]

一种基于深度学习的代码安全漏洞检测方法 [P].

刘红文 ;

刘贵达 ;

袁友瑞国 .

中国专利 :CN119046944A ,2024-11-29

[4]

软件源代码安全漏洞的检测方法及检测装置 [P].

唐文 .

中国专利 :CN101661543A ,2010-03-03

[5]

一种基于人工智能大模型的软件源代码安全漏洞检测方法 [P].

仓基云 ;

王翔 ;

柳亚男 ;

张正 ;

阎浩 ;

马乐军 .

中国专利 :CN120579187A ,2025-09-02

[6]

一种源代码安全漏洞的检测方法及系统 [P].

司徒健辉 ;

林广银 ;

文革萍 .

中国专利 :CN107169360A ,2017-09-15

[7]

基于图卷积网络对代码图表示学习的源代码漏洞检测方法 [P].

苏小红 ;

段亚男 ;

王甜甜 ;

蒋远 ;

赵玲玲 .

中国专利 :CN111783100B ,2020-10-16

[8]

一种基于大模型的源代码漏洞检测方法及系统 [P].

陈骏 .

中国专利 :CN118332557A ,2024-07-12

[9]

基于代码预训练模型参数微调的代码漏洞检测方法 [P].

徐浩 ;

罗辉 ;

陆璐 .

中国专利 :CN119441006B ,2025-11-07

[10]

基于Transformer语言模型的源代码漏洞检测方法及系统 [P].

赵坤鹏 ;

尹小康 ;

蔡瑞杰 ;

刘胜利 .

中国专利 :CN118886016A ,2024-11-01

← 1 2 3 4 5 →