[发明专利]一种智能合约漏洞挖掘方法及装置

说明书

本申请示出一种智能合约漏洞挖掘方法及装置，其中，获取已通过编译的智能合约源代码；将所述已通过编译的智能合约源代码进行动态符号执行，得到动态符号执行结果；获取与所述动态符号执行结果匹配的智能合约漏洞；输出所述智能合约漏洞。本申请示出的技术方案，能够支持复杂的智能合约的漏洞挖掘，使挖掘出来的漏洞更加准确，误报率较低。

技术领域

本申请涉及区块链技术领域，具体涉及一种智能合约漏洞挖掘方法及装置。

背景技术

智能合约（smart contract）是一种以信息化方式传播、验证或执行合同的计算机协议，在区块链行业有着广泛的应用。然而，智能合约中可能存在漏洞，漏洞可以使得攻击者能够在未授权的情况下访问或者破坏系统，由于智能合约常应用于金融行业，因此，智能合约漏洞可能会导致大量的经济损失。

保障智能合约安全的有效途径是智能合约审计，现有智能合约审计常通过人工审计，现有的智能合约审计方式审计效率低，难以支持复杂的智能合约漏洞挖掘。

发明内容

本申请实施例提拱了一种智能合约漏洞挖掘方法及装置，能够支持复杂的智能合约的漏洞挖掘，使挖掘出来的漏洞更加准确，误报率较低。

第一方面，本申请示出一种智能合约漏洞挖掘方法，所述方法包括：获取已通过编译的智能合约源代码；将所述已通过编译的智能合约源代码进行动态符号执行，得到动态符号执行结果；获取与所述动态符号执行结果匹配的智能合约漏洞；输出所述智能合约漏洞。

在一种可行的实现方式中，所述获取已编译的智能合约源代码步骤之前，还包括：获取输入的智能合约源代码；将所述输入的智能合约源代码进行编译；所述编译用于判断所述输入的智能合约源代码中是否存在语法错误；判断所述输入的智能合约源代码是否通过编译；若所述输入的智能合约源代码通过编译，得到已通过编译的智能合约源代码。

在一种可行的实现方式中，所述判断输入的智能合约源代码是否通过编译，包括：若所述输入的智能合约源代码存在格式或语法错误，则所述输入的智能合约源代码未通过编译；若所述输入的智能合约源代码不存在格式或语法错误，则所述输入的智能合约源代码通过编译。

在一种可行的实现方式中，所述获取输入的智能合约源代码，至少包括以下任意一种方式：获取直接输入的Solidity语言编译的源代码、获取上传的Solidity语言编译的源代码文件以及获取上传的Solidity语言编译的源代码文件的压缩包。

在一种可行的实现方式中，所述将输入的智能合约源代码进行编译，至少包括以下任意一种方式：solc编译、remix编译以及node.js编译。

第二方面，本申请示出一种智能合约漏洞挖掘装置，所述装置包括：第一获取模块，所述第一获取模块用于获取已通过编译的智能合约源代码；执行模块，所述执行模块用于将所述已通过编译的智能合约源代码进行动态符号执行，得到动态符号执行结果；匹配模块，所述匹配模块用于获取与所述动态符号执行结果匹配的智能合约漏洞；第一输出模块，所述第一输出模块用于输出所述智能合约漏洞。

在一种可行的实现方式中，所述装置，还包括：第二获取模块，所述第二获取模块用于获取输入的智能合约源代码；编译模块，所述编译模块用于将所述输入的智能合约源代码进行编译；所述编译用于判断所述输入的智能合约源代码中是否存在语法错误；判断模块，所述判断模块用于判断所述输入的智能合约源代码是否通过编译；第二输出模块，所述第二输出模块用于当所述输入的智能合约源代码通过编译时，输出已通过编译的智能合约源代码。

在一种可行的实现方式中，所述判断模块，具体设置为：若所述输入的智能合约源代码存在格式或语法错误，则所述输入的智能合约源代码未通过编译；若所述输入的智能合约源代码不存在格式或语法错误，则所述输入的智能合约源代码通过编译。