最后发布 2024年8月23日
Slither 是用 Python 3 编写的 Solidity 和 Vyper 静态分析框架。
最后发布 2024年4月7日
用于简化智能合约编译的工具。
最后发布 2024年4月2日
用于从 Echidna 和 Medusa 重现器自动生成单元测试的工具。
最后发布 2024年2月8日
Teal 分析器。
最后发布 2021年3月29日
用 Python 3 编写的 EVM cfg 构建器。
最后发布 2020年4月17日
以太坊虚拟机 (EVM) 汇编器和反汇编器。
由以下机构支持
