GrayC: Greybox Fuzzing of Compilers and Analysers for C
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
Abstract
Fuzzing of compilers and code analysers has led to a large number of bugs being found and fixed in widely-used frameworks such as LLVM, GCC and Frama-C. Most such fuzzing techniques have taken a blackbox approach, with compilers and code analysers starting to become relatively immune to such fuzzers.
Topics & Concepts
Fuzz testingComputer scienceCompilerProgramming languageCode (set theory)SoftwareSet (abstract data type)Software Testing and Debugging TechniquesParallel Computing and Optimization Techniques