当前位置: 首页>前端>正文

智能合约安全工具安装教程

Smartest安装

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

https://github.com/ocaml/ocaml

1. 安装opam

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

智能合约安全工具安装教程,第1张

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

apt install ocaml

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

智能合约安全工具安装教程,第2张

注:上图中的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

智能合约安全工具安装教程,第3张

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

pip3 install z3-solver

4. 安装solc编译器

add-apt-repository ppa:ethereum/ethereum

apt update

apt install solc

ILF安装

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

智能合约安全工具安装教程,第4张
智能合约安全工具安装教程,第5张
智能合约安全工具安装教程,第6张

* 安装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. 其他方法

智能合约安全工具安装教程,第7张

* 使用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

智能合约安全工具安装教程,第8张
智能合约安全工具安装教程,第9张
智能合约安全工具安装教程,第10张

https://www.xamrdz.com/web/2t81873437.html

相关文章: