浙江大学胡星获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉浙江大学申请的专利基于大语言模型的Rust不健全封装检测方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120179529B 。
龙图腾网通过国家知识产权局官网在2025-08-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510652149.6，技术领域涉及：G06F11/3604；该发明授权基于大语言模型的Rust不健全封装检测方法及装置是由胡星;李欢;夏鑫;杨小虎设计研发完成，并于2025-05-20向国家知识产权局提交的专利申请。
本基于大语言模型的Rust不健全封装检测方法及装置在说明书摘要公布了：本发明公开了一种基于大语言模型的Rust不健全封装检测方法及装置。该方法结合了大语言模型、静态分析工具及总结的领域知识来检测不安全调用封装是否为被调用不安全函数的所有合约提供保障，从而判断其健全性。该方法首先利用静态分析工具获取目标封装的相关上下文，并将初始冗长的安全性说明分解为细粒度的合约，并为每个合约进行分类。随后结合领域知识和大语言模型的推理能力对每个合约进行单独分析，并最终将细粒度的分析结果聚合为对目标封装的健全性判断。该方法不但能够检测出不健全的不安全调用，还能帮助维护人员定位细粒度的不健全来源，即具体的被调用不安全函数和无保障合约。
本发明授权基于大语言模型的Rust不健全封装检测方法及装置在权利要求书中公布了：1.一种基于大语言模型的Rust不健全封装检测方法，其特征在于，包括以下步骤： （1）通过分析标准库和流行开源项目中不安全调用的文档和代码，总结出合约的类型以及各个合约类型对应的保障模式，为每个保障模式设计示例； （2）通过静态分析工具获取目标封装的相关上下文，包括代码提示和引用信息； （3）通过大语言模型将封装内不安全函数的原始安全性说明分解为多个细粒度合约，并将每个合约分类为步骤（1）中定义的类型； （4）利用大语言模型分析每个细粒度合约，并结合步骤（3）分好的合约类型及对应的保障模式为大语言模型提供对应的示例，分析封装是否为目标细粒度合约提供了保障；示例包括请求和参考回答，所述请求包括引用信息、封装的代码以及待检查的细粒度合约； （5）汇总所有细粒度合约的分析结果，若存在未得到保障的合约，则判定该不安全调用封装为不健全封装；否则判定为健全封装。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号