文件名称：EthIR:以太坊字节码高级分析框架
文件大小：109.04MB
文件格式：ZIP
更新时间：2024-05-18 07:11:41
HTML
伦理学 以太坊字节码高级分析的框架。 该工具扩展了。 构建以太坊字节码的CFG，并在字节码上寻找不同类型的漏洞。 基于以太坊字节码的CFG，EthIR生成程序的基于规则的表示（RBR）。 这种高级表示使您能够应用现有的高级分析来推断EVM代码的属性。 安装（Ubuntu） 1.安装Solidity编译器（最新版本测试为0.4.25） 下载包含Solidity编译器静态可执行文件的文件夹源。 将其添加到PATH并测试是否已安装。 sudo cp source/solc /usr/bin/ sudo chmod 755 /usr/bin/solc solc --version 如果要安装最新版本： sudo add-apt-repository ppa:ethereum/ethereum sudo apt-get update sudo apt-get install solc