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