1. 创建易于审查的 Pull Request 的 11 种方法 博客 | 2020-10-21 01:00 | hackerone.com | 原文 ↗ | #code-review | #best-practices | #pull-request
4. 使用 DeepState 和 Eclipser 对单元测试进行模糊测试 博客 | 2019-05-31 11:00 | blog.trailofbits.com | 原文 ↗ | #fuzzing | #cpp | #symbolic-execution
5. 对密码学原语执行混合符号执行 博客 | 2019-04-01 11:50 | blog.trailofbits.com | 原文 ↗ | #cryptography | #symbolic-execution | #manticore
6. 使用 DeepState 模糊测试 API(第 1 部分) 博客 | 2019-01-22 12:50 | blog.trailofbits.com | 原文 ↗ | #fuzzing | #symbolic-execution | #deepstate