[发明专利]一种针对以太坊智能合约的静态代码审计系统及方法

摘要

本发明公开了一种在区块链的以太坊平台上针对智能合约的静态代码审计系统及方法，属于信息安全技术领域。本发明能够检测以太坊平台上使用Solidity语言编写的智能合约上存在的安全威胁，定位到具体位置，阐明危害并给出相应的解决方法。本发明方法：首先，用户将待检测的项目目录或者单个文件的路径输入系统，系统对输入内容进行预处理操作，将整个项目复制到临时工作目录中并删除其中的Solidity文件中的注释内容；其次，系统将通过词法分析和语法分析等操作将每一个Solidity文件都解析成语法树的形式；然后，系统将语法树结构与预先制定的逻辑匹配特征进行静态特征匹配，得到匹配结果；最后，系统将匹配后的结果分类并汇总，生成报告文件，即为检测结果。

主权项

1.一种在区块链的以太坊平台上针对智能合约的静态代码审计系统，其特征在于，包括预处理模块、语法树生成模块、静态特征匹配模块和报告生成模块；预处理模块：用于检测用户输入的合法性，将项目整体复制到临时工作目录，删除Solidity文件中的注释部分；语法树生成模块：用于对预处理后的文件进行词法分析和语法分析，生成语法树；静态特征匹配模块：用于将语法树与预先制定的逻辑匹配规则相匹配，检查是否命中，若命中匹配则记录对应的代码信息；报告生成模块：用于分类并汇总匹配成功的代码信息，生成报告结果文件。