A Case Study on Automated Fuzz Target Generation for Large Codebases

07/29/2019
by   Matthew Kelly, et al.
0

Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a program in attempt to trigger failure conditions. Much of the research conducted thus far into Fuzz Testing has focused on developing improvements to available Fuzz Testing tools and frameworks in order to improve efficiency. In this paper however, we instead look at a way in which we can reduce the amount of developer time required to integrate Fuzz Testing to help maintain an existing codebase. We accomplish this with a new technique for automatically generating Fuzz Targets, the modified versions of programs on which Fuzz Testing tools operate. We evaluated three different Fuzz Testing solutions on the codebase of our industry partner and found a fully automated solution to result in significantly more bugs found with respect to the developer time required to implement said solution. Our research is an important step towards increasing the prevalence of Fuzz Testing by making it simpler to integrate a Fuzz Testing solution for maintaining an existing codebase.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/12/2019

Concolic Testing Heap-Manipulating Programs

Concolic testing is a test generation technique which works effectively ...
research
06/07/2023

HornFuzz: Fuzzing CHC solvers

Many advanced program analysis and verification methods are based on sol...
research
12/12/2018

Differentially Testing Soundness and Precision of Program Analyzers

In the last decades, numerous program analyzers have been developed both...
research
09/24/2019

A Taxonomic Review of Adaptive Random Testing for Numeric Programs

Random testing (RT) is a black-box software testing technique that tests...
research
09/24/2019

A Taxonomic Review of Adaptive Random Testing: Current Status, Classifications, and Issues

Random testing (RT) is a black-box software testing technique that tests...
research
05/12/2021

Guiding Next-Step Hint Generation Using Automated Tests

Learning basic programming with Scratch can be hard for novices and tuto...
research
07/09/2022

Development and Testing of a Smart Bin toward Automated Rearing of Black Soldier Fly Larvae

The Black Soldier Fly (BSF), can be an effective alternative to traditio...

Please sign up or login with your details

Forgot password? Click here to reset