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

龙图腾网获悉中山大学申请的专利一种Solidity编译器之间的不一致性检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121636364B 。

龙图腾网通过国家知识产权局官网在2026-04-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202610149277.3，技术领域涉及：G06F11/3668；该发明授权一种Solidity编译器之间的不一致性检测方法及系统是由苏博为;叶铭熙;南雨宏;郑沛霖;郑子彬设计研发完成，并于2026-02-03向国家知识产权局提交的专利申请。

本一种Solidity编译器之间的不一致性检测方法及系统在说明书摘要公布了：本发明公开了一种Solidity编译器之间的不一致性检测方法及系统，解决了现有的Solidity编译器之间的不一致性检测方法，导致针对Solidity编译器之间这类跨编译器不一致性缺陷的检测缺乏全面性的技术问题。方法包括获取多个Solidity编译器的初始种子程序、完整源代码、官方差异文档及对应执行器完整源代码；再通过大模型生成各编译器显隐式代码块数据与适配初始种子程序的目标变异规则，经基准编译器和大模型修复得到初始测试程序变体；随后微调大模型，生成目标测试程序变体并识别编译、执行不一致结果；最后结合官方差异文档，生成Solidity编译器之间不一致性检测报告。

本发明授权一种Solidity编译器之间的不一致性检测方法及系统在权利要求书中公布了：1.一种Solidity编译器之间的不一致性检测方法，其特征在于，包括： 获取多个Solidity编译器的初始种子程序、完整源代码和官方差异文档、以及各所述Solidity编译器对应的执行器的完整源代码； 基于显隐式边界条件和特征提取提示词，采用大模型根据所述各所述Solidity编译器的完整源代码和各所述执行器的完整源代码，生成各所述Solidity编译器对应的显隐式代码块数据； 基于预定义的导向规则、特征选择提示词和变异规则选择提示词，采用所述大模型根据所述各所述Solidity编译器对应的显隐式代码块数据、完整源代码、初始种子程序、以及各所述执行器的完整源代码，生成与各所述初始种子程序匹配的目标变异规则； 基于预定义的程序修复提示词，采用基准编译器和所述大模型根据多个所述目标变异规则对各所述初始种子程序进行程序修复，输出多个初始测试程序变体； 根据各所述初始测试程序变体和对应的目标变异规则对所述大模型进行微调，得到微调后的大模型，并通过所述微调后的大模型输出多个目标测试程序变体，结合各所述Solidity编译器和各所述执行器进行不一致性识别，输出触发编译不一致性的测试程序变体和对应的编译状态不一致结果和错误信息不一致结果、以及触发执行不一致性的测试程序变体和对应的执行状态不一致结果和执行输出不一致结果； 根据各所述Solidity编译器的官方差异文档、所述触发编译不一致性的测试程序变体和对应的编译状态不一致结果和错误信息不一致结果、以及所述触发执行不一致性的测试程序变体和对应的执行状态不一致结果和执行输出不一致结果，生成Solidity编译器之间不一致性检测报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中山大学，其通讯地址为：510275 广东省广州市海珠区新港西路135号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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