Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 89 citations · 35 references
ComputingComputer EngineeringComputer ScienceCompilersSoftware EngineeringSyntaxAbstract Syntax TreesCode GenerationFuzz TestingSoftware TestingStatic Code AnalysisSyntax AnalysisCompiler-based GenerationCoverageCoverage-guided FuzzingGeneration-based FuzzingGrammar-based FuzzingMutation-based FuzzingSequence-to-sequence GenerationSuccess Rate Analysis
Compilers are among the most fundamental programming tools for building software. However, production compilers remain buggy. Fuzz testing is often leveraged with newlygenerated, or mutated inputs in order to find new bugs or security vulnerabilities. In this paper, we propose a grammarbased fuzzing tool called DEEPFUZZ. Based on a generative Sequence-to-Sequence model, DEEPFUZZ automatically and continuously generates well-formed C programs. We use this set of new C programs to fuzz off-the-shelf C compilers, e.g., GCC and Clang/LLVM. We present a detailed case study to analyze the success rate and coverage improvement of the generated C programs for fuzz testing. We analyze the performance of DEEPFUZZ with three types of sampling methods as well as three types of generation strategies. Consequently, DEEPFUZZ improved the testing efficacy in regards to the line, function, and branch coverage. In our preliminary study, we found and reported 8 bugs of GCC, all of which are actively being addressed by developers.
35
Sequence to Sequence Learning with Neural Networks
Ilya Sutskever, Oriol Vinyals, Quoc V. Le · arXiv (Cornell University) · 2014 · 13.4K citations · Full text
Computing, Computer Science, French +14
Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling
Jun‐Young Chung, Çağlar Gülçehre, Kyunghyun Cho et al. · arXiv (Cornell University) · 2014 · 10.8K citations · Full text
Generating Text with Recurrent Neural Networks
Ilya Sutskever, James Martens, Geoffrey E. Hinton · 2011 · 1.2K citations
Finding and understanding bugs in C compilers
Xuejun Yang, Yang Chen, Eric Eide et al. · ACM SIGPLAN Notices · 2011 · 586 citations