Slither翻译站点

Slither 是一个用 Python 编写的合同安全框架，最初是在 Josselin Feist、Gustavo Grieco 和 Alex Groce 于 2019 年发表的一篇论文中构思出来的。Slither 框架提供自动化的漏洞和优化检测，以及辅助代码库摘要，以进一步促进开发人员的理解。Slither 诞生于 Trail of Bits 的区块链安全部门 Crytic，与 Hardhat 和 Truffle 兼容，并且适用于以 V0.4 编写的 Solidity 代码。