Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 恭喜杭州电子科技大学徐向华获国家专利权

恭喜杭州电子科技大学徐向华获国家专利权

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

龙图腾网恭喜杭州电子科技大学申请的专利基于效用调节策略的智能合约漏洞检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116821913B

龙图腾网通过国家知识产权局官网在2025-04-18发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310498204.1,技术领域涉及:G06F21/57;该发明授权基于效用调节策略的智能合约漏洞检测方法是由徐向华;王顺设计研发完成,并于2023-05-06向国家知识产权局提交的专利申请。

基于效用调节策略的智能合约漏洞检测方法在说明书摘要公布了:本发明公开一种基于效用调节策略的智能合约模糊测试方法和系统,首先,模糊测试系统对待测智能合约进行预处理,获取合约中各函数相关的结构信息和分支信息,随机生成初始测试用例并同等地分配到模糊器所生成的分支覆盖测试用例池和数据依赖测试用例池中;然后,模糊测试系统会根据不同测试用例池中自身测试用例优化策略对各自包含的测试用例进行优化迭代;最后,模糊测试系统分别执行不同测试用例池中的测试用例,分析其字节码执行逻辑并报告漏洞,执行完毕后计算不同测试用例池的效用值并重新分配测试用例池中测试用例的个数。本发明有效地提升了智能合约模糊测试的测试效率,能探索到被测智能合约中更多分支,并能发现更多合约漏洞。

本发明授权基于效用调节策略的智能合约漏洞检测方法在权利要求书中公布了:1.一种基于效用调节策略的智能合约模糊测试方法,其特征在于,包括:预处理阶段,模糊测试系统对待测智能合约进行预处理,获取合约中各函数相关的结构信息和分支信息,随机生成初始测试用例并同等地分配到模糊器所生成的分支覆盖测试用例池和数据依赖测试用例池中;优化处理阶段:模糊测试系统会根据不同测试用例池中测试用例优化策略来针对性的进行测试用例优化迭代;包括:对于测试用例中交易序列的优化迭代和对于单笔交易中参数的优化迭代;在模糊测试过程中,每个独立的测试用例池中的测试用例都会进行参数突变以及交易序列优化;其中对于交易序列优化行为,分支覆盖测试用例池对于测试用例的优化更加关注于函数分支覆盖的提升;数据依赖测试用例池对于测试用例的优化更加关注于创建具有数据依赖关系的测试用例;执行分析阶段,包括:模糊测试系统执行测试用例,并根据其执行过程中的字节码路径和状态变量数据流向,来判断是否触发漏洞;其次,当所有测试用例池执行完毕后,模糊测试系统会根据执行时间、分支跳转频率、漏洞发现个数、测试用例之间差异度,计算每个测试用例池的效用值;通过比较不同测试用例池的效用值高低进行测试用例个数的重分配,将低效用值测试用例池中的测试用例依据重分配个数计算公式随机转移相应个数的测试用例到高效用值测试用例池中。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州电子科技大学,其通讯地址为:310018 浙江省杭州市钱塘区白杨街道2号大街1158号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。