Bug 11 Tahun di Borrow Checker Rust Ditemukan
Judul asli: 11 year old unsoundness bugs found in Rust borrow checker
Mengapa Ini Penting
Celah soundness di Rust merusak garansi keamanan memori yang jadi nilai jual utama bahasa ini.
Bug 'unsoundness' berusia 11 tahun ditemukan di borrow checker Rust, memungkinkan syarat lifetime struct dilewati lewat assignment field kovariant.
Peneliti keamanan jsnell melaporkan celah serius di borrow checker Rust pada 13 Oktober 2026 melalui GitHub issue #164250. Bug ini memungkinkan persyaratan lifetime pada sebuah struct dilewati menggunakan assignment field yang bersifat kovariant — sebuah kategori 'soundness hole' yang dianggap sebagai bug paling berbahaya dalam sistem tipe Rust. Tim Rust memberi label P-high pada isu ini, dan menyebut ia layak mendapat status P-critical terlepas dari apakah bug ini pernah dieksploitasi di lingkungan produksi. Sistem tipe Rust dirancang untuk mencegah memory unsafety secara menyeluruh. Tim Types menyatakan mereka sedang mengerjakan beberapa inisiatif untuk mengatasi fondasi ini, termasuk next-generation trait solver, region constraint rework, dan Project Zero — program khusus untuk memberantas seluruh celah soundness di sistem tipe. Isu ini mendapat perhatian luas setelah beredar di berbagai platform online.