## Abstract

Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no program analysis. A new test is generated by slightly mutating a seed input. If the test exercises a new and interesting path, it is added to the set of seeds; otherwise, it is discarded. We observe that most tests exercise the same few "high-frequency" paths and develop strategies to explore significantly more paths with the same number of tests by gravitating towards low-frequency paths. We explain the challenges and opportunities of CGF using a Markov chain model which specifies the probability that fuzzing the seed that exercises path i generates an input that exercises path j. Each state (i.e., seed) has an energy that specifies the number of inputs to be generated from that seed. We show that CGF is considerably more efficient if energy is inversely proportional to the density of the stationary distribution and increases monotonically every time that seed is chosen. Energy is controlled with a power schedule. We implemented the exponential schedule by extending AFL. In 24 hours, AFLFast exposes 3 previously unreported CVEs that are not exposed by AFL and exposes 6 previously unreported CVEs 7x faster than AFL. AFLFast produces at least an order of magnitude more unique crashes than AFL.

Original language | English |
---|---|

Title of host publication | CCS' 2016 |

Subtitle of host publication | Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security |

Editors | Shai Halevi, Christopher Kruegel, Andrew Myers |

Place of Publication | New York NY USA |

Publisher | Association for Computing Machinery (ACM) |

Pages | 1032-1043 |

Number of pages | 12 |

ISBN (Print) | 9781450341394 |

DOIs | |

Publication status | Published - 24 Oct 2016 |

Externally published | Yes |

Event | ACM Conference on Computer and Communications Security 2016 - Vienna, Austria Duration: 24 Oct 2016 → 28 Oct 2016 Conference number: 23rd https://www.sigsac.org/ccs/CCS2016/ |

### Conference

Conference | ACM Conference on Computer and Communications Security 2016 |
---|---|

Abbreviated title | CCS 2016 |

Country | Austria |

City | Vienna |

Period | 24/10/16 → 28/10/16 |

Internet address |