Tek karakterlik gizli kapı

Linux, 2003 — = ile == arasındaki fark bir sistemi ele geçirmeye yetiyordu

Ne oldu?

Kasım 2003. Linux — dünyada milyonlarca sunucunun, bugün de çoğu telefonun temelinde çalışan işletim sistemi çekirdeği.

Biri, Linux'un kaynak kodunun bir kopyasına iki satırlık bir değişiklik soktu. İlk bakışta sıradan bir hata kontrolüne benziyordu: "şu iki şart birden doğruysa, isteği reddet."

Ama satırın içinde, == olması gereken yerde tek bir = vardı.

Unix tabanlı sistemlerde en yetkili kullanıcının — her şeyi yapabilen yöneticinin — numarası 0'dır. O tek karakter, isteği yapan kullanıcının numarasını sessizce 0 yapıyordu.

Yani belirli, kimsenin normalde kullanmayacağı bir şekilde çağrıldığında, sıradan bir kullanıcı sistemin sahibi oluyordu.

Nasıl yakalandı?

Kodu satır satır okuyan biri bulmadı. Linux geliştiricileri, bu değişikliğin normal yoldan gelmediğini fark etti — her değişikliğin bir kaydı olması gerekiyordu, bunun yoktu. Değişiklik incelendi, gizli kapı bulundu ve hiçbir zaman yayınlanan bir sürüme girmedi.

Senin kartında

Kodun dili Görev 4'te if (x = 5) yazınca şartın hep doğru çıktığını görmüştün. Şimdi tersini göreceksin: = 0 yazınca şart hep yanlış çıkıyor.

Ve "hep yanlış" çok daha sinsi — çünkü hiçbir şey olmuyor gibi görünüyor.

const int YONETICI = 0;      // en yetkili kullanicinin numarasi
const int MISAFIR  = 1000;

int yetki = MISAFIR;

void istekKontrol(int istek) {
  if ((istek == 7) && (yetki = YONETICI)) {
    Serial.println("Gecersiz istek, reddedildi.");
  }
}

void setup() {
  Serial.begin(9600);

  Serial.print("Once yetki:  ");
  Serial.println(yetki);

  istekKontrol(3);   // normal bir istek
  istekKontrol(7);   // "gizli kapiyi calan" istek

  Serial.print("Sonra yetki: ");
  Serial.println(yetki);
}

void loop() {
}

Çalıştı mı?

Once yetki:  1000
Sonra yetki: 0

İki şeye dikkat et.

"Geçersiz istek" yazısı hiç çıkmadı. Ekran tamamen sakin. Kod hiçbir şey yapmamış gibi görünüyor.

Ama yetki 1000'den 0'a düştü. Misafir artık yönetici.

Neden? (yetki = YONETICI) bir soru değil, bir emir: "yetkiye 0 koy." Ve bu emrin değeri, koyduğu sayının kendisi — yani 0. C dilinde 0 "yanlış" demek. Şart yanlış çıkıyor, if'in içi çalışmıyor, hiçbir şey yazılmıyor.

Ama emir çoktan yerine getirildi.

Şimdi sen yaz

İki adım.

1. Düzelt. Gizli kapıyı kapat.

2. Bir daha olmasın. Aynı hatayı yanlışlıkla yapsan bile derleyicinin seni durduracağı bir yazım şekli bul.

  // ŞİMDİ SEN YAZ:
  // 1) yetki = YONETICI  satirini dogru karsilastirmaya cevir.
  // 2) Sabiti sola al: derleyici seni korusun.

  if ((istek == 7) && (yetki == YONETICI)) {

  if ((7 == istek) && (YONETICI == yetki)) {

const int YONETICI = 0;
const int MISAFIR  = 1000;

int yetki = MISAFIR;

void istekKontrol(int istek) {
  if ((7 == istek) && (YONETICI == yetki)) {
    Serial.println("Gecersiz istek, reddedildi.");
  }
}

void setup() {
  Serial.begin(9600);

  Serial.print("Once yetki:  ");
  Serial.println(yetki);

  istekKontrol(3);
  istekKontrol(7);

  Serial.print("Sonra yetki: ");
  Serial.println(yetki);
}

void loop() {
}

Derleyici neden uyarmadı?

Arduino IDE'de Dosya → Tercihler → Derleyici uyarıları ayarını Tümü yap ve şunu dene:

  if (yetki = YONETICI) {

Derleyici uyarır: suggest parentheses around assignment used as truth value — "şart olarak kullanılan bir atama var, emin misin?"

Şimdi aynı satırı Linux'taki gibi yaz:

  if ((istek == 7) && (yetki = YONETICI)) {

Bu sefer uyarı yok. Derleyiciler, parantez içine alınmış bir atamayı genelde "bunu bilerek yaptın" diye kabul eder ve sesini çıkarmaz.

Linux'taki satır da tam olarak böyle, parantez içinde yazılmıştı.

Olmadıysa

Kendini test et

Soru: Bu gizli kapıyı bulan kişi, kodu satır satır okuyup tek karakteri görmedi. Peki nasıl buldular?

Bu hata nerede karşına çıkar

Ev güvenlik kitinde kart okuyucu, okunan kartın yetkili olup olmadığına karar veriyor. Orada bir == yerine = yazsaydın, kilidin ya herkese açılırdı ya da hiç kimseye — ve ekranda hiçbir uyarı görmezdin.