Undefined Behavior: C/C++'ta Tanımsız Davranışlar Neden Hata Ayıklamayı Zorlaştırıyor?

C/C++'ta undefined behavior (UB) sadece bir uyarı değildir, derleyiciye "bu kod hiçbir zaman çalışmayacak" izni veren bir sözleşmedir. Bu sözleşme, hata ayıklamayı bir kabus haline getirir.

Derleyici, UB içeren kodu gördüğünde iki seçeneğe sahiptir: ya tanımsız davranışın olmadığını varsayarak kodu optimize eder, ya da hiç çalıştırmaz. Çoğu zaman ilkini seçer. Örneğin:

1int* ptr = nullptr;
2int x = *ptr; // UB
3if (ptr == nullptr) {
4printf("null");
5}

Derleyici şöyle düşünür: "Eğer ptr null ise, bu koda ulaşamazsınız (çünkü UB)." Sonra if bloğunu tamamen siler. Programınız çöküyor ama derleyici kusurlu değil, siz sözleşmeyi bozdiniz.

UB'nin en sinir bozucu yönü taşınabilir olmayan davranışıdır. Aynı kod:
- Debug modunda çalışabilir
- Release modunda kırılabilir
- Derleyici versiyonuna göre farklı davranabilir
- Komşu değişkenler değişirse çöküp çökmeyeceği değişebilir

Bu, "benim makinemdeki debug'da çalışıyor" cümlesiyle başlayan sonsuz kabus demektir.

Buffer overflow örneği:

1char buf[10];
2strcpy(buf, "çok_uzun_bir_string"); // UB

Bellek haritası tesadüfi olabilir. Bazen stack değişkenini ezersiz, bazen return address'i, bazen hiçbir şey olmaz. Hata ayıklayıcı çalıştırdığınızda farklı bellek düzeni nedeniyle sorun kaybolabilir.

UB, derleyiciye agresif optimizasyon yapma izni verir:

1int i = INT_MAX;
2i++; // UB (signed integer overflow)
3if (i > INT_MAX) {
4printf("overflow");
5}

Derleyici: "Signed overflow UB, bu yüzden i > INT_MAX hiçbir zaman doğru olamaz." If bloğu silinir. Mantıklı mı? Hayır. Yasal mı? Evet.

Bu optimizasyonlar performans için gerekli olsa da, UB'yi keşfetmeyi imkansız hale getirir. Breakpoint koyduğunuz kod silinmiş olabilir.

Büyük projelerde UB bulmak, iğne aramak gibidir. Static analyzer'lar (clang-tidy, Coverity) yardımcı olabilir ama her UB'yi yakalamazlar. Address Sanitizer (ASan) çalışma zamanında bazılarını bulur, ama release build'de çalışmaz.

Sonuç: UB'li kod, ekibinizin iki ay harcadığı, production'da çöken ve debug'da ortaya çıkmayan hatalarla sonuçlanır.

UB'yi önlemek, onu bulmaktan çok daha kolay. Rust'ın başarısının büyük kısmı buradan geliyor, memory safety garantileri. C/C++'da ise:

- `-Wall -Wextra -Werror` ile derleyin
- ASan ve UBSan'ı test sırasında çalıştırın
- Bounds checking kütüphaneleri (safe-string) kullanın
- Code review'da pointer aritmetiğine dikkat edin

UB, C/C++'ın gücü ve laneti. Derleyici sizin niyetinizi tahmin edemez; siz açıkça tanımlamak zorundasınız.