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