区块链已成为新型技术发展的重点领域。智能合约是区块链中的关键支撑技术,它大大拓展了区块链的服务与功能,但其代码本质也使智能合约成为区块链技术中最为薄弱的安全环节。目前区块链及智能合约安全方面的研究较少,且并未适应其较广的应用范围和快速的发展。本课题针对漏洞检测技术在智能合约的适应性及其应用问题,研究了以太坊智能合约的运行机理,面向智能合约设计基于特征源码匹配和符号执行两种静态漏洞检测方法,以及基于模糊测试技术的动态漏洞检测方法。在此基础上,论文分析了相关方法的特性,并指出了相关技术优势和不足。前两者能有效提高检测效率但误报率高;而模糊测试技术则能有效降低误报率但检测效率低。进一步地,针对智能合约模糊测试的动态漏洞检测方法存在效率低的问题,论文做出了相应的改进。首先,针对智能合约模糊测试的数据冗余问题,设计了基于污点分析的数据筛选方法。其次,针对难以兼顾检测效率和覆盖率的问题,设计了面向智能合约的遗传算法,对模糊测试输入的变异提供导向。最后,针对智能合约漏洞类型的识别问题,设计了基于插桩技术的漏洞识别方法。综合以上技术,论文设计并实现基于污点分析和遗传算法的区块链智能合约漏洞检测框架。论文选取了精确率、代码覆盖率等性能指标,将本框架与符号执行技术和模糊测试技术进行对比分析,结果显示本文所提框架的检测精确率高,而且在相关性能指标基本不下降的情况下,该方法有效地降低了模糊测试的检测时间。