Skip to content
Trail of Bits 参加 ICSE 2019 回顾
blog.trailofbits.com | 博客 | #web3 | #smart-contracts | #fuzzing | #research | #static-analysis | #conferences | #icse
摘要
Trail of Bits 回顾 ICSE 2019：重点介绍用 SMT 求解器过滤 Clang 静态分析器误报、可扩展内存泄漏检测、面向侧信道的差分模糊测试，以及智能合约反编译等研究。
- 发布时间
- 收录时间