This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
Compilers are among the most fundamental programming tools for building software. However, productio...
Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a...
Compilers test their optimisations indirectly – often by compiling and running some test programs. S...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
Software bugs affect the security, performance, and reliability of critical systems that much of our...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Despite much recent interest in compiler fuzzing, the practical impact of fuzzer-found miscompilatio...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Software bugs remain pervasive in modern software systems. As software becomes increasingly intertwi...
Compiler fuzzing techniques require a means of generating programs that are free from undefined beha...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
Compilers are among the most fundamental programming tools for building software. However, productio...
Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a...
Compilers test their optimisations indirectly – often by compiling and running some test programs. S...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
Software bugs affect the security, performance, and reliability of critical systems that much of our...
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzze...
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for yo...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Despite much recent interest in compiler fuzzing, the practical impact of fuzzer-found miscompilatio...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Software bugs remain pervasive in modern software systems. As software becomes increasingly intertwi...
Compiler fuzzing techniques require a means of generating programs that are free from undefined beha...
Despite much recent interest in randomised testing (fuzzing) of compilers, the practical impact of f...
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized ...
Compilers are among the most fundamental programming tools for building software. However, productio...