Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 14-minute conference presentation from OOPSLA 2025 that introduces TyMut, the first systematic approach designed specifically to test C++ compiler type systems through advanced mutation-based fuzzing techniques. Learn how researchers from Beijing Jiaotong University, Tianjin University, Peking University, and Singapore Management University developed sophisticated type-driven mutation operators to target complex C++ features including template generics, type conversions, and inheritance mechanisms. Discover how TyMut enhances traditional differential testing by implementing a must analysis framework that provides definitive test oracles for nearly 80% of generated programs, classifying mutation operators into well-formed and not-well-formed categories to systematically validate compiler behavior. Explore the impressive results from a 32-hour testing campaign that generated over 250,000 test programs and uncovered 102 bugs in recent versions of GCC and Clang compilers, with 56 confirmed as new discoveries by compiler developers. Understand how this research revealed long-standing issues, including 7 bugs that had remained hidden for over 20 years and one that was identified as the root cause of a real-world TensorFlow issue, while also exposing ambiguities in the C++ language specification itself that prompted discussions among language standard developers.
