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