This research identifies and analyzes Rust-specific bugs in the rustc compiler that emerge from Rust's unique language features designed for memory safety.

• Reveals how Rust's safety mechanisms like trait solving and borrow checking introduce new classes of compiler bugs
• Demonstrates that these bugs differ significantly from traditional compiler issues
• Highlights engineering challenges in implementing safety guarantees in modern systems languages
• Provides insights for compiler developers and safety-critical software engineers

As Rust adoption grows in safety-critical domains, understanding these compiler-level vulnerabilities becomes essential for maintaining the language's security promises while supporting its expanding ecosystem.

An Empirical Study of Rust-Specific Bugs in the rustc Compiler