Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. (arXiv:2212.11162v1 [cs.CR])

Fuzz testing is often automated, but also frequently augmented by experts who
insert themselves into the workflow in a greedy search for bugs. In this paper,
we propose Homo in Machina, or HM-fuzzing, in which analyses guide the manual
efforts, maximizing benefit. As one example of this paradigm, we introduce
compartment analysis. Compartment analysis uses a whole-program dominator
analysis to estimate the utility of reaching new code, and combines this with a
dynamic analysis indicating drastically under-covered edges guarding that …

analysis fuzz fuzz testing testing