【文件属性】:
文件名称:EthIR:以太坊字节码高级分析框架
文件大小:109.04MB
文件格式:ZIP
更新时间:2021-04-28 13:25:01
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