Smartest安装

https://github.com/Silence1017/VeriSmart-public

https://github.com/ocaml/ocaml

1. 安装opam

https://opam.ocaml.org/doc/Install.html

2. 安装Ocaml并初始化opam环境

apt install ocaml

https://ocaml.org/docs/up-and-running

注：上图中的eval opam env改为eval $(opam env)，#号注释不用管

opam install -y conf-m4.1 ocamlfind ocamlbuild num yojson batteries ocamlgraph zarith

3. 安装z3

https://github.com/Silence1017/VeriSmart-public

上图方法不可行，用下面命令

pip3 install z3-solver

4. 安装solc编译器

add-apt-repository ppa:ethereum/ethereum

apt update

apt install solc

ILF安装

https://github.com/eth-sri/ilf

* 安装python依赖会出问题：

https://www.tqwba.com/x_d/jishu/396097.html

https://blog.csdn.net/3m2u/article/details/122365616

1. 换源

pip install -i https://pypi.tuna.tsinghua.edu.cn/simple pip -U

2. 其他方法

* 使用solc-select更换solc版本

https://github.com/crytic/solc-select

pip3 install solc-select

* z3更新最新版

https://github.com/Z3Prover/z3

git clone https://github.com/Z3Prover/z3.git

cd z3-master

python3 scripts/mk_make.py --ml

cd build

make -j 4

sudo make install

* 其它问题

https://blog.csdn.net/qq_40630902/article/details/118356845

Mythril安装

https://github.com/Silence1017/mythril

pip3 install mythril