Securify v2.0
Securify 2.0是由和支持的坊智能合约的安全扫描程序。 Securify背后的核心是在苏黎世联邦理工学院的进行的。
它是流行的Securify安全扫描程序的继承者（您可以在找到旧版本）。
产品特点
支持38个漏洞（请参阅下）
实现以Datalog编写的新颖的上下文相关静态分析
分析以Solidity> = 0.5.8编写的合约
码头工人
要构建容器：
sudo docker build -t securify .
要运行容器：
sudo docker run -it -v <contract>:/share securi
评论1
最新资源