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