526互联

Proj. CMI Paper Reading: Distributed System Fuzzing

发布时间 2023-07-17 23:10:09作者: 雪溯

Abstract

背景：当前分布式系统分析一般都是黑盒工具，难以探索程序状态
工具：MALLORY
任务：greybox fuzzing testing distributed system
方法：timeline-driven testing, timeline abstraction
步骤：

  1. 动态构建描述系统行为的Lamport timelines
  2. 将这些timelines抽象化为happens-before summaries
  3. 使用summaries来执行faults guided fuzzing

实验：
数据集：a diverse set of widely-used industrial distributed systems
效果：

  1. 与JEPSEN对比，24小时内 + 54.27% distinct states, speed-up 2.24x, speed of finding bugs: 1.87x
  2. 找到22个0-day漏洞（18 confirmed, 10 new vulnerabilities), 6 CVEs。在已经被严格测试过的Braft, Dqlite和Redis上也找到了bugs。