摘要
智能合约具有自动化、透明化和去中心化的特点，能够建立高效、安全、可靠的区块链资金管理与数据处理机制，在区块链应用场景中发挥着关键的支撑作用。然而，智能合约的安全问题日益凸显，漏洞检测已成为一项关键的研究重点；基于树表示的检测方法已成为该领域一个前景广阔的方向。本文对基于树表示的智能合约漏洞检测方法进行了全面综述，旨在为智能合约安全提供新的见解和理论支持。首先，提出了一种涵盖18种常见智能合约漏洞类型的三级漏洞分类法，按照漏洞产生的智能合约生命周期特定阶段进行分类：Solidity代码层、EVM执行层和区块链系统层。其次，对四种传统检测范式——形式化验证、符号执行、模糊测试和静态分析——的核心机制进行了描述，并在多个性能维度上进行了比较。第三，遵循PRISMA系统综述指南，选取了23项关于基于树表示方法的主研究，并在一种新颖的三分类法下进行组织：纯AST序列化/遍历、树结构神经网络以及AST到图的转换。综合分析了这些方法在技术和应用层面的挑战，并讨论了相应的开放研究问题和改进方向，以指导未来的研究工作。
