论文阅读笔记20230215

Coverage-based Greybox Fuzzing as Markov Chain (CCS 2016)

大多数基于覆盖率的灰盒Fuzzing（Coverage-based Greybox Fuzzing）都会执行少量的高频率（High-frequency）路径，通过各种策略来引导Fuzzing触发低频路径（Low-freqency）。本文提出了使用马尔可夫链模型（Markov Chain）将种子（Seed）触发的路径i和单个输入触发的路径j联系起来。每个种子的能量（Energy）表示该种子能够生成的输入数量。本文提出的AFLFast为低频路径分配更多的能量，使其能够探索更多的路径。同时，本文还为能量定义了一个能量调度策略（Power Schedule）。

论文代码已开源。