由于最近需要对智能合约源代码进行预处理，将其处理成适用于神经网络（如GRU）的输入形式，需要使用现有的支持代码标记化的工具如ANTLR来对源代码进行预处理。由于是第一次接触这个工具，所以来记录一下该工具的安装和简单使用。这里智能合约源代码是使用Solidity语言编写的，ANTLR也是支持其他编程语言代码的~本文介绍了ANTLR4工具的下载安装和简单使用，第一次使用ANTLR4，有误的地方欢迎大家

近期正在进行构建智能合约数据集的工作，需要对获取到的合约源码进行打标签工作，选择了更新较为频繁的漏洞检测工具Mythril对合约源码进行安全检测从而生成检测日志。本文介绍了关于Mythril漏洞检测工具的安装过程，用于检测Solidity智能合约中的安全漏洞。