Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration
summary
ATLAS inserts attributes into functions, variables, and statements, analyzes types and local-variable relations to pick compatible compiler flags, and compiles modified C/C++ tests (from C Smith and Yajin) to trigger faults. The tool finds 73 unique bugs in GCC and LLVM, with 58 confirmed or fixed, and yields higher code coverage and bug counts than baselines over a 10-day run (ATLAS reports 109.1% more faults and >16% of generated tests compile successfully).
AI-written summary · about
chapters (10)
- 0:00Compiler faults and testing
- 1:42Traditional compiler testing
- 3:09Attributes guide compiler behavior
- 4:56ATLAS workflow and attribute insertion
- 7:23Function attributes and crashes
- 8:05Variable attributes and bugs
- 9:07Statement attributes for control
- 10:10ATLAS evaluation and bugs
- 12:41Code coverage and efficiency
- 13:02Summary of attribute-guided exploration
related talks
53mLocknote: How Badly Do We Want Correct Compilers?
22mBoosting Compiler Testing by Injecting Real-World Code
53mFrom Within: Compiler Testing and Validation via Compilers
01h 04mCompiler Bugs And Bug Compilers
59mCompiler-assisted Translation Validation
15mInterleaving Large Language Models for Compiler Testing
20mRefined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
14mFuzzing C++ Compilers via Type-Driven Mutation