Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 中国人民解放军国防科技大学刘强获国家专利权

中国人民解放军国防科技大学刘强获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种项目级CPG文件生成方法、系统、设备及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN121523657B

龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202610063114.3,技术领域涉及:G06F8/30;该发明授权一种项目级CPG文件生成方法、系统、设备及存储介质是由刘强;李佳雯;张唯贞;付绍静;王怡琦;刘天瑞;姚欣;章润芃;王宇飞设计研发完成,并于2026-01-19向国家知识产权局提交的专利申请。

一种项目级CPG文件生成方法、系统、设备及存储介质在说明书摘要公布了:本发明属于CPG文件生成领域,具体涉及一种项目级CPG文件生成方法、系统、设备及存储介质,其方法包括:根据筛选文件集,生成抽象语法树,遍历抽象语法树中生成作用域的节点,得到节点关系;根据抽象语法树以及节点关系,建立依赖边;根据抽象语法树进行分支结构、循环结构以及跳转结构处理,得到控制流边;遍历抽象语法树,建立依赖边,否则,将调用块位置及调用信息存入导入函数表,建立调用边,根据调用边、依赖边、控制流边以及基本块,得到单个CPG文件;根据抽象语法树生成文件索引结合单个CPG文件,生成项目级CPG文件。本申请具有为大规模Lua项目的静态分析提供结构化数据支持,可大幅提升其静态分析效率的效果。

本发明授权一种项目级CPG文件生成方法、系统、设备及存储介质在权利要求书中公布了:1.一种项目级CPG文件生成方法,其特征是,包括: 获取Lua脚本文件集,将Lua脚本文件集进行解析筛选,得到筛选文件集,筛选文件集中包括多个Lua脚本文件; 根据所述筛选文件集,生成抽象语法树,遍历抽象语法树中生成作用域的节点,生成当前局部变量表快照,进入作用域时生成CPG子图,退出作用域时根据当前局部变量表快照恢复上层快照,得到节点关系; 根据抽象语法树以及节点关系,将赋值语句节点的左值和右值对齐,建立依赖边; 根据抽象语法树进行分支结构处理、循环结构处理以及跳转结构处理,得到控制流边; 遍历抽象语法树,当检测到调用节点时,若被调对象为局部函数或被local修饰表中的成员函数,则拷贝局部函数或成员函数定义的CPG子图,并在调用块与函数入口块间建立函数依赖边,否则,将调用块位置及调用信息存入导入函数表,建立函数的调用边,所述被调对象存在于调用节点中,所述调用块通过被调对象生成,所述函数入口块通过局部函数或被local修饰表中的成员函数生成,所述函数依赖边表示程序执行时的跳转关系; 根据调用边、依赖边、控制流边以及筛选文件集生成的基本块,得到每个Lua脚本文件对应的CPG文件; 根据抽象语法树生成文件索引; 根据文件索引以及每个Lua脚本文件对应的CPG文件,生成项目级CPG文件; 所述根据文件索引以及每个Lua脚本文件对应的CPG文件,生成项目级CPG文件,包括: 根据文件索引建立邻接矩阵,根据所述邻接矩阵以及每个Lua脚本文件对应的CPG文件建立依赖关系支配树; 根据依赖关系支配树,得到全局拓扑关系; 根据所述全局拓扑关系,生成项目级CPG文件; 所述根据依赖关系支配树,得到全局拓扑关系,包括: 根据所述文件索引,得到依赖目录; 根据依赖目录,判断当前依赖是否存在于当前目录下; 若当前依赖不存在于当前目录下,则判断当前依赖是否存在于递归子目录下; 若当前依赖不存在于递归子目录下,则判断是否检索过全局变量; 若检索过全局变量,则判断是否能回退父目录; 若不能退回父目录,则依赖为C语言包或者缺失,得到根目录的拓扑关系; 获取CPG子目录的拓扑关系; 根据根目录的拓扑关系以及CPG子目录的拓扑关系,得到全局拓扑关系。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军国防科技大学,其通讯地址为:410003 湖南省长沙市开福区德雅路109号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。