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)。