统信软件技术有限公司张磊获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉统信软件技术有限公司申请的专利代码语言转换的验证方法、装置、电子设备、存储介质和计算机程序产品获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120803464B 。
龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511299722.6,技术领域涉及:G06F8/41;该发明授权代码语言转换的验证方法、装置、电子设备、存储介质和计算机程序产品是由张磊;张海东设计研发完成,并于2025-09-11向国家知识产权局提交的专利申请。
本代码语言转换的验证方法、装置、电子设备、存储介质和计算机程序产品在说明书摘要公布了:本公开关于代码语言转换的验证方法、装置、电子设备、存储介质和计算机程序产品,该验证方法包括:从C语言源代码文件中提取基本转换单元,其中,基本转换单元至少包含数据结构和函数;将所述数据结构转换为第一Rust语言文件,并将所述函数转换为第二Rust语言文件,其中,第二Rust语言文件所包含的函数体被注释;将第一Rust语言文件和第二Rust语言文件组合得到Rust项目结构文件,并对Rust项目结构文件进行第一编译;在第一编译通过的情况下,对Rust项目结构文件所包含的被注释的函数体进行去注释化处理,并对经过去注释化处理之后获得的Rust项目结构文件进行第二编译以进行验证。
本发明授权代码语言转换的验证方法、装置、电子设备、存储介质和计算机程序产品在权利要求书中公布了:1.一种代码语言转换的验证方法,其特征在于,包括: 从C语言源代码文件中提取基本转换单元,其中,所述基本转换单元至少包含数据结构和函数; 将所述数据结构转换为第一Rust语言文件,并将所述函数转换为第二Rust语言文件,其中,所述第二Rust语言文件所包含的函数体被注释; 将所述第一Rust语言文件和所述第二Rust语言文件组合得到Rust项目结构文件,并对所述Rust项目结构文件进行第一编译; 在第一编译通过的情况下,对所述Rust项目结构文件所包含的被注释的函数体进行去注释化处理,并对经过去注释化处理之后获得的Rust项目结构文件进行第二编译以进行验证; 其中,所述从C语言源代码文件中提取基本转换单元,包括: 对所述C语言源代码文件进行抽象语法树AST分析,以提取所述基本转换单元; 其中,所述对所述Rust项目结构文件所包含的被注释的函数体进行去注释化处理,并对经过去注释化处理之后获得的Rust项目结构文件进行第二编译以进行验证,包括: 沿着函数的调用链自上而下逐层、逐个地对所述Rust项目结构文件所包含的被注释的函数体取消注释并进行编译,直至所述Rust项目结构文件所包含的被注释的函数体都被取消注释并编译通过。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人统信软件技术有限公司,其通讯地址为:100176 北京市大兴区北京经济技术开发区科谷一街10号院12号楼18层;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励