文章
问答
讲堂
百科图谱
线下集训
更多
提问
发表文章
专栏
活动
文档
工作
集市
发现
Toggle navigation
文章
问答
讲堂
线下集训
专栏
活动
工作
文档
集市
搜索
登录/注册
请问一下各位老师:当智能合约编写完毕, 经过review和代码gas优化以后,想进行安全审计,有哪些比较好的工具可以推荐吗?谢谢~~
当智能合约编写完毕, 经过review和代码gas优化以后,想进行安全审计,有哪些比较好的工具可以推荐吗?谢谢~~
当智能合约编写完毕, 经过review和代码gas优化以后,想进行安全审计,有哪些比较好的工具可以推荐吗?谢谢~~
0 条评论
分类:
智能合约
请先
登录
后评论
默认排序
时间排序
1 个回答
Tiny熊
2024-05-22 14:26
擅长:智能合约,以太坊
1. Fuzzing / Invariant Test 工具: Foundry、Echidna 2. 静态分析工具: slither、aderyn、Mythril 3. 使用 ChatGPT 4. 形式验证工具: Certora、Solidity SMT Checker
请先
登录
后评论
您需要登录后才可以回答问题,
登录
关注
1
关注
收藏
1
收藏,
1240
浏览
一只有温度的咸鱼
提出于 2024-05-22 06:05
×
发送私信
请将文档链接发给晓娜,我们会尽快安排上架,感谢您的推荐!
发给:
内容:
×
举报此文章
垃圾广告信息:
广告、推广、测试等内容
违规内容:
色情、暴力、血腥、敏感信息等内容
不友善内容:
人身攻击、挑衅辱骂、恶意行为
其他原因:
请补充说明
举报原因: