本发明涉及网络安全技术领域，具体为基于静态分析与模糊测试结合的智能合约漏洞检测方法；该漏洞检测方法，首先基于关键变量静态提取函数调用序列，以引导产生符合交易序列的测试用例；然后，基于函数调用序列生成初始测试用例，接着将测试用例进行交叉变换和经函数层面的变异处理和交易层面的变异处理，生成高质量的变异测试用例；最后，根据测试预言，利用变异测试用例遍历智能合约执行路径，得到漏洞检测结果；该检测方法，与现有工具相比，具有较高的代码覆盖率，能检测到更多数量的漏洞，且检测效果更为准确，平均准确率提高了约10％，同时平均代码覆盖率比目前较为先进的模糊测试工具提高了约14％。