近年来以以太坊为代表的第二代区块链平台迅猛发展。相较于第一代区块链平台,以太坊的主要特征之一就是全面实现了对智能合约编程的支持。智能合约使区块链的定位由分布式账本演化成去中心化应用。基于区块链平台的智能合约一般通过图灵完备的编程语言编写,有着去中心化和交易可信的天然优势。与标准的软件应用场景不同,智能合约一旦部署上链则无法更新和修改,如果包含漏洞代码上链便会造成不可预料的后果,可能会给区块链生态造成巨大财产损失,所以智能合约代码上链前需要严格的代码审查机制。尽管现在学界和业界也研发出一些针对智能合约的漏洞检测软件工具,但由于智能合约发展历史较短,部分工具仍存在检测粗糙、准确率低和效率不高等缺点。同时,随着智能合约的规模增大,一些安全审计工具在检测时需要巨大系统资源消耗。符号执行是智能合约漏洞检测重要手段之一,基于符号执行的工具存在状态空间爆炸、检测模型精度较低等问题。本文针对这些问题进行研究,主要工作内容和贡献如下:（1）提出一种基于静态分析插桩结果优化符号执行搜索状态空间的方法提高漏洞检测效率。针对符号执行引擎单一搜索算法无法对漏洞代码区域高效覆盖的问题,本文采用静态分析为敏感代码块插桩,从而获得更高的优先级添加检测模块,并以指令的潜在危险性为程序控制流图的代码块入口添加不同等级的权重,符号执行引擎进一步依据加权结果采用混合状态搜索算法搜索待选状态空间,从而更高效地获得危险指令块的位置以增加检测效率。（2）提出一种无源码情况下的新的循环结构检测算法提高检测的准确率,针对符号执行引擎在面对复杂结构时可能导致的状态空间爆炸问题,本文根据控制流图基本块前向匹配原则对循环次数进行判定,利用循环识别来避免符号执行引擎陷入程序深处而导致的大量克隆的状态空间副本,从而防止检测系统面对循环结构时,由于状态空间庞大而异常终止。最终减少智能合约检测系统的漏报,提高漏洞检测准确率。（3）基于Mythril的符号执行开源框架设计了针对智能合约的漏洞检测系统,以对本文提出的算法改进方案进行实验验证。实验结果证明,本文开发的智能合约漏洞检测系统,对造成以太坊巨大损失的重入漏洞和整数溢出漏洞、无效随机数漏洞和访问控制漏洞、交易顺序依赖漏洞均有良好的检出效果。对以太坊上真实智能合约的检测结果证明,与现有符号执行工具Mythril和Oyente相比有不同程度的漏洞检测准确率提高和1.61倍的执行效率提升。