[智能合约]Oyente安装配置

环境

系统 Ubuntu18.04
Python 3.6.9
go 1.7

安装依赖

安装 solc0.4.19

pip3 install solc-select

solc-select install 0.4.19

solc-select use 0.4.19

solc --version

安装go-ethereum

1. 克隆go-ethereum

git clone https://github.com/ethereum/go-ethereum.git

2. 切换分支

cd  go-ethereum
git checkout v1.7.3

make all

3. 配置环境

vim /etc/profile

export GETH_HOME=/root/go-ethereum/build
export PATH=$GETH_HOME/bin:$PATH

source /etc/profile

4. 测试

geth version

安装 z3-solver

pip3 install z3-solver==4.5.1.0

安装 crytic-compile

pip3 install crytic-compile==0.1.13