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