Curvance：释放不变量
blog.trailofbits.com | 博客 | #smart-contracts | #fuzzing | #audit | #blockchain | #invariant-testing | #echidna
摘要
Trail of Bits首个专职不变量开发项目复盘：九周内为Curvance编写并测试216条不变量，发现13个严重问题，同时升级了Echidna、Medusa等工具的追踪打印与语料库保存能力。
- 发布时间
- 收录时间
Skip to content