一种基于抽象语法树和定理证明的局部敏感程序分析方法

被引：0

专利类型：

发明

申请号：

CN201911137082.3

申请日：

2019-11-19

公开(公告)号：

CN110879708A

公开(公告)日：

2020-03-13

发明(设计)人：

李兆鹏顾建平戴一飞

申请人：

申请人地址：

230088 安徽省合肥市高新区文曲路355号403室

IPC主分类号：

G06F841

IPC分类号：

G06F2156

代理机构：

合肥维可专利代理事务所(普通合伙) 34135

代理人：

吴明华

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2020-04-07	实质审查的生效	实质审查的生效 IPC(主分类):G06F 8/41 申请日:20191119
2020-03-13	公开	公开

共 50 条

[1]

一种基于抽象语法树的程序理解方法及系统 [P].

吕晨 ;

姜雪 ;

高学剑 ;

高曰秀 ;

马正 ;

李季 ;

吕蕾 ;

刘弘 .

中国专利 :CN112835585A ,2021-05-25

[2]

一种基于抽象语法树的程序理解方法及系统 [P].

吕晨 ;

姜雪 ;

高学剑 ;

高曰秀 ;

马正 ;

李季 ;

吕蕾 ;

刘弘 .

中国专利 :CN112835585B ,2024-12-03

[3]

一种生成统一抽象语法树与程序分析的方法和装置 [P].

李永超 ;

徐兆桂 ;

刘地军 ;

汤震浩 ;

赵泽林 ;

狄鹏 .

中国专利 :CN115390852A ,2022-11-25

[4]

一种基于抽象语法树的Python程序类型缺陷检测方法 [P].

陈林 ;

刘畅 ;

徐兆桂 ;

徐宝文 .

中国专利 :CN108932192B ,2018-12-04

[5]

一种基于抽象语法树的小程序隐私泄露检测方法 [P].

李红宁 ;

梁颜 ;

丁世达 ;

李衍健 ;

周浩宇 ;

何岳峰 .

中国专利 :CN120030538A ,2025-05-23

[6]

一种基于抽象语法树的人机协作程序翻译方法 [P].

刘佳琪 ;

张峰铭 ;

於志文 ;

郭斌 .

中国专利 :CN118468897A ,2024-08-09

[7]

基于抽象语法树的SQL表字段分析方法、内存、装置 [P].

魏楠 ;

方金云 ;

陈静 .

中国专利 :CN118819538A ,2024-10-22

[8]

基于抽象语法树的SQL表字段分析方法、内存、装置 [P].

魏楠 ;

方金云 ;

陈静 .

中国专利 :CN118819538B ,2025-07-18

[9]

基于抽象语法树的程序代码相似性快速比较方法 [P].

陶金龙 ;

冯大成 ;

李雅斯 ;

高昕睿 ;

高艳鹍 .

中国专利 :CN109445834B ,2019-03-08

[10]

一种基于操作链接的抽象语法树取词方法 [P].

李志 .

中国专利 :CN111124414A ,2020-05-08

← 1 2 3 4 5 →