【摘 要】
：
智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术（如模糊测试、机器学习、形式化验证等）研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比
【基金项目】
：
科技部重点研发计划（2021YFB2700503）； 国家自然科学基金（62172214,62032025,U20A201092,62071222）； 广东省重点研发计划（2020B0101090002）； 江苏省自然科学基金（BK20210279,BK20200418）；
论文部分内容阅读
智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术（如模糊测试、机器学习、形式化验证等）研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.
其他文献
目的:探究早产儿发生早产儿视网膜病变（ROP）的高危因素;使用光学相干断层扫描血管成像（OCTA）检测有早产史的儿童黄斑部视网膜、脉络膜结构,探究早产与足月产儿童的视网膜厚度（RT）、脉络膜厚度（CT）的差异性。方法:收集并分析2010年01月01日-2022年01月31日期间在南昌大学第二附属医院新生儿科及眼科就诊的符合入选标准的早产儿644例。所有受检者收集一般资料,进行基线分析,使用XGBo
＜正＞少先队辅导员是党的少年儿童思想政治工作者，是少年儿童亲密的朋友和指导者，肩负着为党育人、为国育才的光荣使命。少先队辅导员的政治素质和履职能力，直接决定了少先队为党育人工作的成效，加强新时代辅导员队伍建设的重要性不言而喻。2022年5月，中共福建省委下发《关于全面加强新时代少先队工作的实施意见》（以下简称《实施意见》），从锤炼政治素质、优化队伍结构、创新评价和激励机制、畅通职称晋升通道、加强源
软件漏洞是计算机软件系统安全方面的缺陷,给现代软件及其应用数据的完整性、安全性和可靠性带来巨大威胁.人工治理漏洞费时且易错,为了更好应对漏洞治理挑战,研究者提出多种自动化漏洞治理方案,其中漏洞自动修复方法近来得到研究者广泛关注.漏洞自动修复技术旨在辅助开发人员修复漏洞,涵盖漏洞根因定位、补丁生成、补丁验证等功能.现有工作缺乏对漏洞修复技术系统性的分类与讨论,为了促进漏洞修复技术发展,加深研究人员对
自安卓系统发布以来,由于其开源、硬件丰富和应用市场多样等优势,该系统已成为全球使用最广泛的手机操作系统.同时,安卓设备和安卓应用的爆炸式增长也使其成为96%移动恶意软件的攻击目标.在现有的安卓恶意软件检测方法中,忽视程序语义而直接提取简单程序特征的方法,其检测速度快但精确度不够理想,将程序语义转换为图模型并采用图分析的方法,其精确度虽高但开销大且扩展性低.为了解决上述挑战,将应用的程序语义提取为函
＜正＞随着计算机应用的不断发展,软件已经渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用.同时,各行各业依赖各类软件,软件的可信性与供应链安全已成为学术界和工业届不可忽视的根本性问题.一方面,人们对软件的可靠性、安全性、防危性等传统可信性质以及可解释性、隐私性和公平性等新兴可信性质提出了更多和更高的要求;另一方面,复杂的软件供应链引入的一系列安全问题,导致信息系统的整体安全防护
随着开源软件技术的不断发展,为提高开发效率并降低人力成本,组件化开发模式逐渐得到行业的认可,开发人员可以利用相关工具便捷地使用第三方组件,也可将自己开发的组件贡献给开发社区,从而形成了软件供应链.然而,这种开发模式必然会导致高危漏洞随组件之间的依赖链条扩散到其他组件或项目,从而造成漏洞影响的扩大化.例如2021年底披露的Log4j2漏洞,通过软件供应链对Java生态安全造成了巨大影响.当前,针对J
目的:应用独立成分分析（independent component analysis,ICA）的方法分析静息状态功能磁共振成像（Resting state functional magnetic resonance imaging,Rs-f MRI）,从而对高度近视（high myopia,HM）患者不同脑区功能网络连通性（functional network connectivity,FNC）和
背景:高眼压症（Ocular hypertension,OH）是一种常见但机制不明的疾病,目前国内外尚无文献报道使用静息态功能磁共振（resting-state functional magnetic resonance imaging,rs-fMRI）的分数低频波动振幅（fractional amplitude of low frequency fluctuation,fALFF）方法对OH的发
目的:对一个出现伴发闭角型青光眼的视网膜色素变性（retinitis pigmentosa,RP）病例的家系进行临床表型的分析,检测家系中导致视网膜色素变性的致病基因突变,并对家系中除视网膜色素变性以外的眼部疾病或病理改变进行致病基因筛查。方法:对纳入试验的家系成员进行详细的临床检查,抽取外周血并提取基因组DNA,运用全外显子组测序（Whole-exome sequencing,WES）进行检测,
目的:通过眶下神经定量感觉测试,评价局部应用曲安奈德联合鼠神经生长因子辅助治疗眶下壁骨折后眶下神经损伤的临床疗效。方法:前瞻性随机对照研究。纳入2020年4月至2021年3月于南昌大学附属眼科医院接受眶下壁骨折整复术的眶下壁骨折患者43例（43眼）。采用随机数字表法将患者分为两组,其中试验组20例（20眼）术中将浸润曲安奈德和鼠神经生长因子的明胶海绵放置于神经损伤处;对照组23例（23眼）术中无特