针对智能合约的恶意代码自动检测方法、系统及计算设备

本发明公开了针对智能合约的恶意代码自动检测方法、系统及计算设备，涉及安全性分析技术领域，解决了现有技术存在遗漏关键执行状态的风险，从而引发恶意代码检测漏报的技术问题；本发明通过将源代码进行解析生成抽象语法树；遍历并识别抽象语法树中所有类型的地址变量标记为地址变量集合并分类；调用初始状态并构建带缓存池的符号执行引擎，将初始状态作为输入通过符号执行引擎输出矩阵；基于输出矩阵构建并初始化结果偏离表；根据符号置换器更新结果偏离表并生成偏离函数队列；基于偏离函数队列将结果偏离进行迭代分析得到最终偏离变量集合；根据最终偏离变量集合判断对应的智能合约是否存在恶意性；本发明覆盖了更大范围内的恶意合约代码。