登录    注 册
属 地 烟台 莱山区 专利申请号 2024118452702 专利权人 烟台大学
申请日 2024-12-16 授权日 2025-09-26 专利名称 基于混合模糊测试优化的智能合约漏洞检测方法、系统
关键词 应用领域
创新点
技术分类 标 签 战兴产业     
地 址 264005 山东省烟台市莱山区清泉路30号
运营方式 普通许可,专利转移 合作方式 普通技术转移
联系人 刘俞斌 联系电话 13723944337 电子邮箱
详细说明
本发明涉及网络安全、漏洞检测技术领域,具体为一种基于混合模糊测试优化的智能合约漏洞检测方法、系统,对编译后EVM字节码进行静态分析生成第一测试用例集,进行模糊测试,同时引入污点分析跟踪污点在指令流中的传播。在模糊测试过程中根据执行次数阈值内指令计数集的长度变化,在长度变化值为0时触发符号执行处理,在符号执行处理过程中,采取约束缓存重用策略对获取的约束表达式进行求解,并对求解结果进行缓存和重用,使得符号执行能够快速生成到达复杂分支的用例值,并反馈至模糊引擎以辅助其探索到新路径捕捉更多深层次的漏洞;同时对权限控制、交易顺序依赖、拒绝服务三种智能合约漏洞设计测试预言,漏洞检测更为准确。
【关 闭】