Wed 18 Nov 2020 23:20 - 23:40 at SPLASH-I - W-3 Chair(s): Yuting Wang, Alex Potanin
Compilers should not crash and they should not miscompile applications. Random testing is an effective method for finding compiler bugs that have escaped other kinds of testing. This paper presents Yet Another Random Program Generator (YARPGen), a random test-case generator for C and C++ that we used to find and report more than 220 bugs in GCC, LLVM, and the Intel® C++ Compiler. Our research contributions include a method for generating expressive programs that avoid undefined behavior without using dynamic checks, and generation policies, a mechanism for increasing diversity of generated code and for triggering more optimizations. Generation policies decrease the testing time to find hard-to-trigger compiler bugs and, for the kinds of scalar optimizations YARPGen was designed to stress-test, increase the number of times these optimizations are applied by the compiler by an average of 20% for LLVM and 40% for GCC. We also created tools for automating most of the common tasks related to compiler fuzzing; these tools are also useful for fuzzers other than ours.
Wed 18 Nov Times are displayed in time zone: Central Time (US & Canada) change
11:00 - 12:20: W-3OOPSLA at SPLASH-I +12h Chair(s): Eelco VisserDelft University of Technology, Dan BarowyWilliams College | |||
11:00 - 11:20 Talk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
11:20 - 11:40 Talk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah Link to publication DOI Media Attached | ||
11:40 - 12:00 Talk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Link to publication DOI Pre-print Media Attached | ||
12:00 - 12:20 Talk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin Link to publication DOI Media Attached |
23:00 - 00:20: W-3OOPSLA at SPLASH-I Chair(s): Yuting WangShanghai Jiao Tong University, Alex PotaninVictoria University of Wellington | |||
23:00 - 23:20 Talk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
23:20 - 23:40 Talk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah Link to publication DOI Media Attached | ||
23:40 - 00:00 Talk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Link to publication DOI Pre-print Media Attached | ||
00:00 - 00:20 Talk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin Link to publication DOI Media Attached |