Bellek Güvenliği İpuçları

1. Bellek Mimarisi: Bilgisayarın Çalışma Masasının Gizemleri

Bilgisayar belleği (RAM), aslında milyonlarca küçük hücreden oluşan devasa bir tablodur. Her bir hücrenin bir adresi vardır. Yazılım dediğimiz şey, bu adreslere veri yazmak ve oradan veri okumaktır. Ancak bu süreç sanıldığı kadar basit değildir. İşletim sistemi, her uygulama için "Sanal Bellek" (Virtual Memory) denilen bir illüzyon yaratır. Yani her uygulama, bilgisayarın tüm belleğine sahip olduğunu sanır ama aslında sadece kendisine ayrılan "kum havuzunda" oynar.

Stack (Yığın) vs Heap (Öbek) Ayrımı

Stack: Burası bir restoranın mutfağındaki sipariş fişlerine benzer. Çok hızlıdır, veriler üst üste biner ve işi biten fiş yırtılıp atılır. Fonksiyonlar, yerel değişkenler burada yaşar. Ancak Stack sınırlıdır; çok fazla fiş birikirse mutfak kilitlenir (Stack Overflow).

Heap: Burası ise mutfağın devasa kileridir. Büyük malzemeler, uzun süreli saklanacak veriler burada tutulur. Ancak kilerde her şeyin yerini not etmeniz gerekir (Pointerlar). Eğer bir malzemeyi kilerden çıkarıp yerini not etmeyi unutursanız, o malzeme orada çürür (Memory Leak) veya başka bir aşçı yanlışlıkla o malzemeyi kullanmaya çalışır (Wild Pointers).

Bellek güvenliği işte bu iki alanın (Stack ve Heap) yönetimiyle başlar. Siber saldırganlar genellikle Stack'teki "dönüş adreslerini" (Return Address) manipüle ederek programın akışını değiştirirler. Heap tarafında ise "çift silme" (Double Free) gibi karmaşık yöntemlerle bellek yönetim mekanizmasını bozarlar.

2. Siber Saldırı Teknikleri: Bellekteki Kara Delikler

Saldırganlar belleği nasıl bir savaş alanına çevirir? Burada karşımıza çıkan en meşhur üçlü: Corruption (Bozma), Leakage (Sızdırma) ve Hijacking (Ele Geçirme).

Derinlemesine Buffer Overflow (Taşma) Analizi

Bir yazılımcı kullanıcıdan bir isim beklediğinde ve bunun için bellekte 64 baytlık yer ayırdığında, aslında bir sınır çizmiş olur. Ancak saldırgan buraya 100 baytlık veri gönderirse, fazladan gelen 36 bayt bellekteki bir sonraki "komut satırına" yazar. Eğer saldırgan o 36 baytın içine "bilgisayarı kapat ve bana şifreyi gönder" gibi bir makine kodu yerleştirirse, işlemci sıradaki komutu okuduğunda programın değil, saldırganın komutunu çalıştırır. Bu durum genellikle C ve C++ dillerinde sınır kontrolü yapılmadığı için oluşur.

Use-After-Free: Hayalet Verilerin İntikamı

Bellekte bir veri silindiğinde, o adresteki veriler hemen yok olmaz; sadece orası "boş" olarak işaretlenir. Eğer bir program hala o eski adresi işaret ediyorsa (Dangling Pointer) ve bir saldırgan o boş yere kendi zararlı verisini yerleştirmeyi başarırsa, program eski verisini kullandığını sanırken aslında saldırganın verisini işler. Bu hata türü, modern tarayıcıların (Chrome, Firefox) en büyük korkusudur ve milyonlarca dolarlık ödül avcılığı programlarının ana konusudur.

3. Yazılım Dilleri ve Güvenlik Paradigmaları: C++ vs Rust

Siber güvenlik dünyası şu an büyük bir geçiş döneminde. On yıllardır dünyayı yöneten C ve C++ dilleri, performansları nedeniyle hala zirvedeler ancak "bellek güvensiz" olarak yaftalanıyorlar. Neden mi? Çünkü bu dillerde bellek yönetimi tamamen yazılımcının vicdanına bırakılmıştır.

C/C++: "Büyük Güç, Büyük Sorumluluk"

Bu dillerde malloc() ve free() gibi komutlarla belleği siz yönetirsiniz. Eğer bir şeyi silmeyi unutursanız, RAM şişer. Eğer sildiğiniz şeye ulaşmaya çalışırsanız, sistem çöker. Bu özgürlük, siber saldırganlar için sınırsız bir oyun alanıdır. Ancak performansın kritik olduğu oyun motorları, işletim sistemi çekirdekleri ve gömülü sistemler hala bu dillere muhtaçtır.

Rust: "Matematiksel Güvenlik"

Rust dili, son yıllarda siber güvenlik dünyasının sevgilisi oldu. Rust'ın "Sahiplik" (Ownership) ve "Ödünç Alma" (Borrowing) kuralları vardır. Bir veriyi bir fonksiyona gönderdiğinizde, o verinin sahibi değişir. İki farklı yer aynı anda aynı veriyi değiştiremez. Bu kurallar o kadar katıdır ki, bir bellek hatası yaparsanız program derleme aşamasında size bağırır ve çalışmaz. Rust ile yazılan bir kodda Buffer Overflow yapmak neredeyse imkansızdır.

Özellik	C / C++	Rust	Java / Python
Bellek Yönetimi	Manuel (Riskli)	Sahiplik Modeli (Güvenli)	Otomatik (Garbage Collector)
Performans	Maksimum	Maksimum	Orta (GC nedeniyle duraksamalar)
Güvenlik	Düşük	Çok Yüksek	Yüksek

4. İşletim Sistemi Düzeyinde Koruma: Kalenin Duvarlarını Örmek

Yazılımcılar hata yapabilir, bu yüzden işletim sistemleri (Windows, Linux, macOS) kendi içinde savunma katmanları barındırır. Bir siber güvenlik uzmanı olarak bu terimleri ezbere bilmelisiniz:

ASLR (Address Space Layout Randomization)

Eskiden programlar her çalıştığında aynı bellek adreslerine yerleşirdi. Saldırgan, "Şifre kontrol fonksiyonu her zaman 0x401234 adresinde" diyerek saldırısını planlayabilirdi. ASLR, bu adresleri her seferinde karıştırır. Bir labirentin her gece duvarlarının yer değiştirdiğini düşünün; hırsız içeride yolunu bulamaz.

DEP / NX (Data Execution Prevention / No-Execute)

Bu teknoloji, belleği "Yazılabilir" ve "Çalıştırılabilir" olarak ikiye ayırır. Eğer bir alan veri yazmak içinse (yazılar, sayılar vb.), işlemci o alandan gelen komutları çalıştırmayı reddeder. Bu, Buffer Overflow ile sızdırılan kodların çalışmasını engelleyen en güçlü kalkandır.

Stack Canaries (Stack Kanaryaları)

Madenciler zehirli gazı anlamak için yanlarında kanarya taşırdı; kuş ölürse gaz var demekti. Yazılımda da kritik bellek bölgelerinin başına "kanarya" denilen rastgele sayılar konur. Eğer bir taşma olursa, bu sayı değişir. Program bir işlem yapmadan önce "Kanarya hala yaşıyor mu?" diye bakar; sayı değişmişse saldırıyı anlar ve kendini hemen kapatır.

5. Gelişmiş Savunma ve Test: Avcı Olmak

Siber güvenlikte savunma yapmak için önce saldırgan gibi düşünmelisiniz. Bir sistemin bellek güvenliğini test etmek için kullanılan profesyonel metodolojiler şunlardır:

1. Fuzz Testing (Bulanıklaştırma): Sisteme milyarlarca hatalı ve beklenmedik veri gönderilir. Amaç, sistemi "saçmalatıp" belleğin nerede taştığını bulmaktır. Google'ın "OSS-Fuzz" projesi bu yöntemle binlerce kritik açığı daha saldırganlar bulmadan kapatmıştır.
2. Static Analysis (SAST): Kod daha çalışmadan taranır. "Burada bir pointer hatası olabilir" diyen akıllı analiz araçları kullanılır.
3. Dynamic Analysis (DAST): Program çalışırken bellek kullanımı anlık izlenir. Valgrind gibi araçlar, serbest bırakılmamış bellekleri ve hatalı erişimleri tek tek raporlar.
4. Sandboxing (Kum Havuzu): Kritik uygulamalar, sistemin geri kalanından izole bir alanda çalıştırılır. Uygulama hacklense bile saldırgan ana sisteme sızamaz.

Sonuç olarak Yasin, bellek güvenliği bir varış noktası değil, bitmek bilmeyen bir yarıştır. Donanım geliştikçe saldırılar, diller geliştikçe savunmalar evrimleşir. Senin hedefin, yazdığın her satır kodda veya incelediğin her sistemde "Bu veri bellekte nasıl duruyor ve kimler buna dokunabilir?" sorusunu sormak olmalıdır.

Sık Sorulan Sorular