利用变异体改进 Slither
blog.trailofbits.com | 博客 | #smart-contracts | #software-testing | #static-analysis | #blockchain | #mutation-testing | #slither
摘要
研究人员借助变异测试向智能合约注入缺陷并检验 Slither 的检出能力，据此新增了布尔常量误用、类型恒真式和精度丢失等检测规则。
- 发布时间
- 收录时间
Skip to content