-
证券化：已停用的以太坊智能合约安全扫描器
资源介绍
[已弃用]安全
这是Securify的版本，已经过时，将不再受支持。 请使用 。
Securify是由和支持的坊智能合约的安全扫描程序。 Securify背后的核心是在苏黎世联邦理工学院的进行的。
它具有智能合约中常见的广泛安全模式列表：
某些形式的DAO错误（也称为可重入）
锁醚
缺少输入验证
取决于交易订单的金额，接收方和转移
未处理的异常
无限制的醚流量
该项目旨在成为一个开放平台，欢迎所有以太坊安全社区的贡献。 要提出新的模式，自愿进行测试或为开发新的模式做出贡献，请通过我们的组与我们联系。
入门
要求
Soufflé： : （Securify应该与最新软件包一起使用，如果