杭州电子科技大学徐向华获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉杭州电子科技大学申请的专利基于状态变量参数化的智能合约模糊测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120407383B 。
龙图腾网通过国家知识产权局官网在2025-08-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510905375.0，技术领域涉及：G06F11/362；该发明授权基于状态变量参数化的智能合约模糊测试方法是由徐向华;林凡罡设计研发完成，并于2025-07-02向国家知识产权局提交的专利申请。
本基于状态变量参数化的智能合约模糊测试方法在说明书摘要公布了：本发明公开了基于状态变量参数化的智能合约模糊测试方法，该方法包括：预处理阶段，获取待测智能合约程序，采用静态分析工具编译，提取编译信息，基于深度优先算法生成状态变量信息；参数化阶段，基于遗传算法初始化种群并执行智能合约单轮测试，确认待参数化的状态变量集合，添加与状态变量同名且同类型的替身参数，生成与原智能合约对应的替身合约；模糊测试阶段，检查替身参数的否满足取值范围的约束，判断是否执行突变，在替身合约的模糊测试过程中，验证触发漏洞的种子中替身参数的取值。本发明利用状态变量的取值范围检查突变数据，保证数据可用性，通过在原合约上反推触发漏洞的状态变量取值，确保检测结果的可靠性。
本发明授权基于状态变量参数化的智能合约模糊测试方法在权利要求书中公布了：1.基于状态变量参数化的智能合约模糊测试方法，其特征在于，包括以下阶段： 预处理阶段：获取待测智能合约程序，采用静态分析工具进行编译，提取编译信息，基于深度优先算法生成状态变量信息； 参数化阶段：基于遗传算法初始化种群并执行智能合约单轮测试，确认待参数化的状态变量集合，添加与状态变量同名且同类型的替身参数，生成与原智能合约对应的替身合约； 模糊测试阶段：检查替身参数的否满足取值范围的约束，判断是否执行突变，在替身合约的模糊测试过程中，验证触发漏洞的种子中替身参数的取值。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州电子科技大学，其通讯地址为：310018 浙江省杭州市钱塘区白杨街道2号大街1158号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号