第37节：SECURIF
概述
Securify 2.0 is a security scanner for Ethereum smart contracts supported by the Ethereum Foundation and ChainSecurity. The core research behind Securify was conducted at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich.
安装
git clone git@github.com:eth-sri/securify2.git
sudo docker build -t securify .
使用
