合肥金星智控科技股份有限公司
宣传

位置:北方有色 >

有色技术频道 >

> 化学分析技术

> 智能合约漏洞的检查方法、系统及介质

智能合约漏洞的检查方法、系统及介质

1192   编辑:管理员   来源:北方有色网  
2023-03-19 07:20:08
本发明提供了一种智能合约漏洞的检查方法、系统和介质,包括:Solidity程序静态污点分析步骤:从语法上分析Solidity程序的源代码,针对Solidity程序的源代码中的每个函数,遍历所有可能的执行流程,形成控制流程图,再标记所有可能的污点数据,获得并存储污点分析结果;State矩阵生成步骤:生成交易序列,再进行交易序列的重组,生成重组后的交易序列,再根据获得的污点分析结果,获得State矩阵。本发明结合了深度学习和模糊测试,利用深度强化学习模型与污点分析优化了模糊测试技术,大大提升了模糊测试的覆盖率与效率。本发明实现了一个高覆盖率、高效率与低误判率兼具的智能合约漏洞检测技术。
声明:
“智能合约漏洞的检查方法、系统及介质” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
         
咨询细节
标签:
化学分析
有色金属设备
有色金属技术
有色金属企业
有色金属资讯
有色金属价格
有色金属报告
热门分类
填补国内空白!中国首个分布式光伏建设领域安全规程正式发布实施 被关停!紫金矿业刚果(金)铜钴矿部分产品辐射含量超标 亿纬锂能:2023年实现总营收飙升,同比增长34.38% 衡水市:独立储能发展布局指导方案印发 冶金百科 | 稀土冶金 - 稀土元素原子半径及离子半径变化规律是什么,何谓镧系收缩? 南山铝业第一家海外电解铝项目将落户印尼,规划产能为100万吨 600万吨氧化铝、240万吨电解铝!东方希望大手笔布局拉开帷幕 铝合金应用难题被攻克,服役温度从350℃提升至500℃ 工信部发布第四批《减免车辆购置税的新能源汽车车型目录》 冶金百科 | 铜冶金-火法炼铜小知识(七 ) 冶金百科 | 铅冶金工艺——火法炼铅(底吹熔炼—鼓风炉还原熔炼—烟化炉烟化法(SKS法)) 生态环境部印发《固体废物分类与代码目录》,废旧锂电池正式纳入固废管理 金属材料在芯片工艺上的作用 2025年锂电行业变革:十大关键技术引领行业洗牌 六大选矿工艺,搞定锂辉石选矿 铜业百科 | 铜合金的分类及合金元素的作用 2025年新疆光伏电价创新低:每度电仅需0.1648元 2025年锂电池行业十大变革性技术 矿权出让!中国的最大的钒钛磁铁矿铁矿红格南矿区即将出让矿权 恩捷股份硫化锂量产获突破 加速固态电池材料国产化进程 矿山安全 | 露天矿山开采的五大防护措施 冶金百科 | 有色冶金固体废物排放情况 锂离子电池小百科 | 电池标识及电池性能与测试 特斯拉交付量远低于市场预期,正丧失中国市场主动权 冶金百科 | 有色金属冶金基础知识 天一萃取离心萃取机荣获“创新星级品牌”奖 萤石小知识 | 萤石产地在哪?萤石矿的伴生矿有哪些? 新能源产业发展方向明确!全国首部新能源产业促进条例发布 中原关键金属实验室主任何季麟:建设国家级关键金属创新高地 西工大王锦程团队:难熔高熵合金激光增材制造取得新突破!
北方有色技术平台

最新更新技术

报名参会
更多+

热门专家
更多+

报告下载

铼产业报告(2026)
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传

慧博士报告
更多+

环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话:
010-88793500-807
专利人/作者信息登记
0.240759s