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

龙图腾网获悉浙江望安科技有限公司申请的专利一种面向多语言的源代码自动化验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121681323B 。

龙图腾网通过国家知识产权局官网在2026-05-08发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202610202734.0，技术领域涉及：G06F11/3604；该发明授权一种面向多语言的源代码自动化验证方法及系统是由王布阳;章乐平;谭兴设计研发完成，并于2026-02-12向国家知识产权局提交的专利申请。

本一种面向多语言的源代码自动化验证方法及系统在说明书摘要公布了：本发明提供了一种面向多语言的源代码自动化验证方法及系统，涉及计算机技术领域，方法包括：获取多语言源代码；通过LLVM编译器，对多语言源代码进行编译，生成中间文件；对中间文件进行优化；通过IR解析器，对优化后的中间文件进行解析，生成符号执行模型；对符号执行模型进行模拟执行操作；对模拟执行操作后的符号执行模型进行安全验证，得到验证报告。本发明能够实现多语言源代码的统一验证，大幅降低验证环境搭建与开发的成本，提升验证整体效率；还可强化对中间文件的分析能力，精准捕捉代码中的逻辑约束关系，切实保障验证工作的全面性与可靠性，满足多样化的软件安全验证需求。

本发明授权一种面向多语言的源代码自动化验证方法及系统在权利要求书中公布了：1.一种面向多语言的源代码自动化验证方法，其特征在于，包括： S1：获取多语言源代码； S2：通过LLVM编译器，对所述多语言源代码进行编译，生成中间文件； S3：对所述中间文件进行优化； S4：通过IR解析器，对优化后的中间文件进行解析，生成符号执行模型； 其中，所述S4具体包括： S401：通过IR解析器，对优化后的中间文件进行解析，得到模型文件； S402：将依赖代码输入至所述模型文件，得到依赖模型文件； S403：根据所述模型文件的结构特征，生成模型发射器； 其中，所述模型发射器是适配LLVMIR中间文件结构特征、专为多语言源代码验证场景设计的代码生成组件，将所述IR解析器提取的结构化信息按照预设的模型规范，分别转化为可执行的类型模型代码、全局变量模型代码、函数模型代码和元数据模型代码； S404：基于所述依赖模型文件，通过所述模型发射器，分别生成类型模型代码、全局变量模型代码、函数模型代码以及元数据模型代码； S405：分别将所述类型模型代码、所述全局变量模型代码、所述函数模型代码以及所述元数据模型代码写入至所述依赖模型文件中，生成所述符号执行模型； S5：对所述符号执行模型进行模拟执行操作； S6：对模拟执行操作后的符号执行模型进行安全验证，得到验证报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江望安科技有限公司，其通讯地址为：312000 浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦B座1409-1413；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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