Binary Coverage the Wrong Way
8 days ago
- #Fuzzing
- #Virtualization
- #Code Coverage
- 第三种方案——形式化验证程序——被斥为谎言。
- 模糊测试工具常采用N元语法覆盖度，通过结合最近N条分支来捕捉路径依赖信息。
- 奇怪的覆盖度指标本质上仍记录哪些代码被执行过，导致区分度变得不那么重要。
- 如果记录了分支历史，N元语法覆盖度很可能可以从中计算得出。
- Windows 11将内核作为虚拟化客户机运行，而非裸机运行，这是个有趣的事实。
- 提及Varnish（一款HTTP缓存）作为示例参考。