以太坊智能合约安全漏洞检测  

作　　者：何龙 赵相福 

机构地区：[1]不详 [2]烟台大学计算机与控制工程学院区块链安全与智能检测实验室

出　　处：《科技纵览》2024年第8期56-58,共3页IEEE Spectrum

基　　金：国家自然科学基金项目“面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理”(项目编号:61972360)的支持。

摘　　要：本文围绕以太坊智能合约安全漏洞检测,回顾了区块链技术的发展历程以及智能合约的起源,介绍了智能合约的特点、应用场景和重大安全事件,总结了目前智能合约安全漏洞检测的三类主要方法:静态分析、动态分析和混合分析方法。

关 键 词：智能合约 区块链技术 安全事件 安全漏洞检测 以太坊 静态分析 应用场景 混合分析 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]