Filters








12,928 Hits in 6.9 sec

Test-case reduction for C compiler bugs

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
To report a compiler bug, one must often find a small test case that triggers the bug.  ...  We have found this approach less than ideal for reducing C programs because it typically yields test cases that are too large or even invalid (relying on undefined behavior).  ...  Chucky Ellison was supported in part by NSA contract H98230-10-C-0294.  ... 
doi:10.1145/2254064.2254104 dblp:conf/pldi/RegehrCCEEY12 fatcat:3jxxyynm5jb77dvrvyefrljmvi

Test-case reduction for C compiler bugs

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012 SIGPLAN notices  
To report a compiler bug, one must often find a small test case that triggers the bug.  ...  We have found this approach less than ideal for reducing C programs because it typically yields test cases that are too large or even invalid (relying on undefined behavior).  ...  Chucky Ellison was supported in part by NSA contract H98230-10-C-0294.  ... 
doi:10.1145/2345156.2254104 fatcat:chumfmd7vbbqbehifpnoztl5i4

Taming compiler fuzzers

Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
Our evaluation shows our ability to solve the fuzzer taming problem for 3,799 test cases triggering 46 bugs in a C compiler and 2,603 test cases triggering 28 bugs in a JavaScript engine.  ...  For example, a single test-case generator has resulted in more than 1,700 bugs reported for a single JavaScript engine.  ...  Jones for providing useful early feedback; and Google for a research award supporting Yang Chen. A portion of this work was funded by NSF grants CCF-1217824 and CCF-1054786.  ... 
doi:10.1145/2491956.2462173 dblp:conf/pldi/ChenGZWFER13 fatcat:j2mhhqzsgrh7jijcrnwxsoqjsa

Taming compiler fuzzers

Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr
2013 SIGPLAN notices  
Our evaluation shows our ability to solve the fuzzer taming problem for 3,799 test cases triggering 46 bugs in a C compiler and 2,603 test cases triggering 28 bugs in a JavaScript engine.  ...  For example, a single test-case generator has resulted in more than 1,700 bugs reported for a single JavaScript engine.  ...  Jones for providing useful early feedback; and Google for a research award supporting Yang Chen. A portion of this work was funded by NSF grants CCF-1217824 and CCF-1054786.  ... 
doi:10.1145/2499370.2462173 fatcat:2vsxpcmnurei3oov3ve2ufrtfq

Compiler Testing: A Systematic Literature Analysis [article]

Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang
2018 arXiv   pre-print
First, we perform an extensive search to construct a dataset related to compiler testing papers.  ...  However, there remains an obstacle to comprehensively characterize and understand compiler testing.  ...  • A large number of bugs in GCC and LLVM are reported by the evaluation of Orion. 3 test-case reduction for c compiler bugs 2012 97 16.17 • Three new, domain-specific test case reducers for C codes  ... 
arXiv:1810.02718v2 fatcat:n3mgon2hzjhf7dsjt2pafjpssm

Automatic Test Case Reduction for OpenCL

Moritz Pflanzer, Alastair F. Donaldson, Andrei Lascu
2016 Proceedings of the 4th International Workshop on OpenCL - IWOCL '16  
We report on an extension to the C-Reduce tool, for automatic reduction of C test cases, to handle OpenCL kernels.  ...  We present experimental results showing the effectiveness of our method for finding bugs in a number of OpenCL compilers.  ...  Acknowledgements We are grateful to James Price for support related to Oclgrind, to the developers of C-Reduce for accepting our contributions to the C-Reduce framework, and to the Clang developers for  ... 
doi:10.1145/2909437.2909439 dblp:conf/iwocl/PflanzerDL16 fatcat:7uah3p3wonew7aqmfs2xighqda

Automated testing of graphics shader compilers

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
2017 Proceedings of the ACM on Programming Languages  
Deviant shaders are automatically minimized to identify, in each case, a minimal change to an original high-value shader that induces a shader compiler bug.  ...  We present an automated technique for finding defects in compilers for graphics shading languages.  ...  Just as GLFuzz is equipped with test case reduction facilities, methods for testing compilers via randomly-generated programs require test case reduction facilities.  ... 
doi:10.1145/3133917 dblp:journals/pacmpl/DonaldsonELT17 fatcat:2bvgacy2yrcslhiflpmnqryhyu

Compiler fuzzing through deep learning

Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather
2018 Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018  
Random program generation -fuzzing -is an effective technique for discovering bugs in compilers but successful fuzzers require extensive development effort for every language supported by the compiler,  ...  Finally, we apply established differential testing methodologies on them to expose bugs in compilers.  ...  Comparison of Test Cases. The average CLSmith program is 1189 lines long (excluding headers). CLSmith test cases require reduction in order to expose the underlying bug.  ... 
doi:10.1145/3213846.3213848 dblp:conf/issta/CumminsPML18 fatcat:frdnak7jmrbfhjrdavjvhr76vm

Testing Static Analyzers with Randomly Generated Programs [chapter]

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
2012 Lecture Notes in Computer Science  
We used the random Cprogram generator Csmith, initially intended to test C compilers, to test parts of the Frama-C static analysis platform.  ...  Several bugs were also found in Csmith, even though it had been extensively tested and had been used to find numerous bugs in compilers.  ...  Thus filtered, the test cases were 20KB on average, and acceptable for manual reduction.  ... 
doi:10.1007/978-3-642-28891-3_12 fatcat:56wsztwsbnejdp26tm4olshw7a

Finding and analyzing compiler warning defects

Chengnian Sun, Vu Le, Zhendong Su
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
C compilers.  ...  However, due to compiler bugs, the warnings may be erroneous, superfluous or missing, even for mature production compilers like GCC and Clang.  ...  Acknowledgments We are grateful to the anonymous reviewers for their insightful comments. We also would like to thank the GCC and Clang/LLVM developers for analyzing and fixing our reported bugs.  ... 
doi:10.1145/2884781.2884879 dblp:conf/icse/SunLS16 fatcat:23kdgqljc5ez7g5ydien2itv7y

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
To create a practical implementation of EMI for validating C compilers, we profile a program's test executions and stochastically prune its unexecuted code.  ...  . • It is general and easily applicable to finding bugs in compilers, analysis and transformation tools for any language.  ...  s work [18, 19] , and for his insightful blog posts on testing C compilers [23] . This research was supported in part by NSF Grants 0917392, 1117603, 1319187, and 1349528.  ... 
doi:10.1145/2594291.2594334 dblp:conf/pldi/LeAS14 fatcat:l3scszgu5zhhfhdifil66xxpsy

Metamorphic testing for (graphics) compilers

Alastair F. Donaldson, Andrei Lascu
2016 Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16  
We present strategies for metamorphic testing of compilers using opaque value injection, and experiences using the method to test compilers for the OpenGL shading language.  ...  ACKNOWLEDGEMENTS Our thanks to Ajit Dingankar (Intel) and Vinod Grover (NVIDIA) for liaising regarding compiler issues, to Paul Thomson for feedback, and to Thibaud Lutellier for suggesting use of the  ...  Test case reduction for randomly generated programs requires careful use of analysis tools to avoid introducing undefined behaviour during the reduction process [6] , otherwise a reduction attempt for  ... 
doi:10.1145/2896971.2896978 dblp:conf/icse/DonaldsonL16 fatcat:kdipt7ikrrg6lkuuhpfvhe6rnm

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su
2014 SIGPLAN notices  
To create a practical implementation of EMI for validating C compilers, we profile a program's test executions and stochastically prune its unexecuted code.  ...  . • It is general and easily applicable to finding bugs in compilers, analysis and transformation tools for any language.  ...  s work [18, 19] , and for his insightful blog posts on testing C compilers [23] . This research was supported in part by NSF Grants 0917392, 1117603, 1319187, and 1349528.  ... 
doi:10.1145/2666356.2594334 fatcat:dtyj7ditljeapj6rdz2k363hsq

Finding and understanding bugs in C compilers

Xuejun Yang, Yang Chen, Eric Eide, John Regehr
2011 SIGPLAN notices  
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs.  ...  In this paper we present our compiler-testing tool and the results of our bug-hunting study. Our first contribution is to advance the state of the art in compiler testing.  ...  We also thank Hans Boehm, Xavier Leroy, Michael Norrish, Bryan Turner, and the GCC and LLVM development teams for their technical assistance in various aspects of our work.  ... 
doi:10.1145/1993316.1993532 fatcat:vmh37n5kz5dkphynz7snioycru

Finding and understanding bugs in C compilers

Xuejun Yang, Yang Chen, Eric Eide, John Regehr
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs.  ...  In this paper we present our compiler-testing tool and the results of our bug-hunting study. Our first contribution is to advance the state of the art in compiler testing.  ...  We also thank Hans Boehm, Xavier Leroy, Michael Norrish, Bryan Turner, and the GCC and LLVM development teams for their technical assistance in various aspects of our work.  ... 
doi:10.1145/1993498.1993532 dblp:conf/pldi/YangCER11 fatcat:pmp4wtycsvacheolr5nb7siawe
« Previous Showing results 1 — 15 out of 12,928 results