Bahasa C Penuh dengan Undefined Behavior yang Tak Terhindarkan
Judul asli: Everything in C is undefined behavior
Mengapa Ini Penting
Menunjukkan tantangan keamanan sistemik dalam bahasa pemrograman populer
Programmer berpengalaman 30 tahun menulis bahwa semua kode C/C++ non-trivial mengandung undefined behavior (UB). Contoh akses pointer tidak sejajar dapat crash di SPARC namun berjalan normal di x86.
Thomas Habets, programmer C/C++ selama 30 tahun, berpendapat bahwa tidak ada yang bisa menulis kode C yang benar-benar aman. Ia mengutip Cardinal Richelieu: "Berikan enam baris kode dari programmer C terbaik dunia, saya akan temukan undefined behavior di dalamnya". UB bukan hanya masalah optimisasi compiler, melainkan ketidakpastian perilaku kode. Contoh sederhana seperti akses pointer int yang tidak sejajar: di Linux Alpha kadang ditangani kernel, di SPARC menyebabkan SIGBUS, di x86 berjalan normal. Habets menekankan bahwa di tahun 2026, lingkungan berbeda dengan era 1972 (C) atau 1985 (C++), namun industri masih bergantung pada bahasa yang rentan error.