【摘 要】
：
近年来,智能合约中的漏洞检测任务已受到越来越多的关注。然而,缺少源代码和完备的检测特征限制了检测的效果。在本文中,我们提出了DC-Hunter:一种基于字节码匹配的智能合约
【基金项目】
：
国家自然科学基金(No.U1836209,No.61802413)资助
论文部分内容阅读
近年来,智能合约中的漏洞检测任务已受到越来越多的关注。然而,缺少源代码和完备的检测特征限制了检测的效果。在本文中,我们提出了DC-Hunter:一种基于字节码匹配的智能合约漏洞检测方案。它可以通过已知的漏洞合约找到类似的漏洞合约,并且可以直接应用于现实世界中的智能合约,无需源码和预先定义的漏洞特征。为了让提出的方法更加切实可行,我们应用程序切片来降低无关代码的影响,通过规范化减少编译器版本带来的差异,并使用图嵌入算法来捕捉函数的结构信息,从而显著减少误报和漏报。此外,借助DC-Hunter我们揭露了一种新
其他文献
近些年来,层出不穷的恶意软件对系统安全构成了严重的威胁并造成巨大的经济损失,研究者提出了许多恶意软件检测方案。但恶意软件开发中常利用加壳和多态等混淆技术,这使得传
本论文是C#平台开发基于GDAL库的遥感干旱监测系统。该系统能够对MODIS遥感影像数据实现基于预处理和图像浏览等操作,包含图像漫游、图像放大、图像缩小等解译辅助操作,辐射校正、大气校正、几何校正和感兴趣区域裁剪等图像处理功能,NDVI指数计算、二值化图像等干旱灾情自动监测功能。实验证明该系统能够实现利用遥感数据监测干旱灾情,具有响应快速,计算高效,测量准确的性能。
茶道是一种烹茶饮茶的生活艺术,也是一种以茶为媒的生活礼仪,更是一种以茶修身的生活方式,茶道中的工匠精神是追求不断进步的传统职业精神,在当今社会仍然具有重要的地位和价
物联网已经广泛地应用到各个领域,作为物联网的重要组成部分,物联网云平台、嵌入式终端设备以及无线通信技术对物联网起着至关重要的作用。本文旨在搭建一个基于OneNET云平台的嵌入式物联网络,以STM32嵌入式开发板为终端控制设备,选取ESP8266WIFI模块作为通信模块,然后根据OneNET物联网云平台提供的协议来完成系统的设计。实现数据采集以及上传到云平台等功能。本文对STM32开发板,ESP82
在党的十九大提出的乡村振兴战略的领航下,以健全自治、法治、德治"三治"相结合的乡村治理体系建设已经在我国农村广泛开展。吉林市东福米业有限责任公司自企业兴办之始起,即
目的:回顾性总结60例心内直视手术体外循环(CPB)管理初步体会。方法:2005年1月至2000年6月完成心内直视手术60例,使用JostraHL-20型心肺机,鼓泡或膜式氧合器,体外循环中采用
目的 探讨自制中药包在预防静脉炎和疼痛时的疗效。方法 按输液成分不同分成 3组 ,即普通输液组 ;化疗组 ;0 .3%氯化钾组。各组再随机分成实验组 (外敷中药的 )和对照组 (
新闻编辑与受众的关系一直很密切,随着社会的进步,报纸、广播、电视、网络、移动互联网等媒体都需要编辑精心编排,这样才能更好地吸引受众。可以说,只有把握好新闻编辑与受众
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
我国工业废弃物已约达4亿吨/年,不仅占用大片土地,还将对自然环境及人体健康造成危害,我们的原则是制定方针政策:发展适用技术,包括无害化工艺、采用化学的,生物的处理,处置