本发明提供一种智能合约漏洞检测方法，涉及区块链技术领域。该方法将调用智能合约的输入数据切片为多个数据单元，并将每个数据单元标记为一个污点；智能合约运行的过程中，在EVM层对标记的污点进行追踪；判断追踪到污点是否参与算术运算，如果否，则判定智能合约是安全的；如果是，则进一步判定算术运算的结果是否发生溢出，如果未发生溢出，则判定智能合约存在潜在的算术溢出漏洞，将调用智能合约的输入数据生成新的输入数据，重新进行判断；如果发生溢出则进一步判断算术运算的结果溢出是否为受保护的；根据以上判断结果最终判断智能合约是否安全。本发明方法能够用于对区块链系统进行监测，及时发现存在安全漏洞的智能合约。