介绍了智能合约中存在的重入、整数溢出、交易顺序和时间戳依赖等安全漏洞,并重点介绍了用于检测智能合约安全漏洞的符号执行、语义分析、模糊测试、动态污点分析和形式化方法。