面向多种语言的智能合约漏洞检测研究综述OA
随着部署在区块链平台上的智能合约数量快速增长,其漏洞检测与修复问题日益受到关注。针对Solidity、Rust和Move三种主流智能合约开发语言,梳理了其语言特性及对应的底层虚拟机架构,依据修复难度将常见漏洞划分为低复杂度漏洞、交互流程型漏洞与架构型漏洞,并分析了不同语言中同类漏洞的成因差异及各自特有漏洞类型。在此基础上,总结了当前依据三种语言各自特性所产生的漏洞检测工具,比较了静态分析、模型检测与大语言模型辅助检测等方法的技术特点,探讨了语言特性对漏洞类型及检测机制适配性的影响。根据对现有研究工作的总结,探讨了智能合约漏洞检测领域现有研究的不足,并展望了未来的研究方向。
祝钢;李雷孝;刘东江;林浩;杜金泽
内蒙古工业大学智能科学与技术学院,呼和浩特010080 内蒙古自治区北疆网络空间安全重点实验室,呼和浩特010080内蒙古工业大学智能科学与技术学院,呼和浩特010080 内蒙古自治区北疆网络空间安全重点实验室,呼和浩特010080 内蒙古自治区基于大数据的软件服务工程技术研究中心,呼和浩特010080内蒙古工业大学智能科学与技术学院,呼和浩特010080 内蒙古自治区北疆网络空间安全重点实验室,呼和浩特010080 内蒙古自治区基于大数据的软件服务工程技术研究中心,呼和浩特010080内蒙古工业大学智能科学与技术学院,呼和浩特010080 内蒙古自治区北疆网络空间安全重点实验室,呼和浩特010080 内蒙古自治区基于大数据的软件服务工程技术研究中心,呼和浩特010080天津理工大学计算机科学与工程学院,天津300384
信息技术与安全科学
区块链多种语言智能合约安全漏洞检测
《计算机工程与应用》 2026 (14)
P.78-97,20
国家自然科学基金(62062054)内蒙古自治区重点研发和成果转化计划项目(2025KJHZ0039,2024SKYPT0012)内蒙古自治区高等学校创新团队发展计划数据智能与安全(NMGIRT2506)内蒙古自治区高等学校青年科技人才发展项目(NJYT24035)内蒙古自治区直属高校科研项目(JY20250065,JY20230019)。
评论