Yığın ve öbek taşması, belleğin farklı bölgelerinde oluşan ve farklı istismar teknikleri gerektiren iki arabellek taşması türüdür. Programlar, belleği farklı amaçlarla farklı bölgelerde yönetir. Yığın ve öbek, bu bölgelerin ikisidir ve her ikisinde de taşmalar oluşabilir. Ancak bu iki bölgenin yapısı farklı olduğu için, taşmaları da farklı biçimlerde istismar edilir. Bu ayrımın anlaşılması, bellek zafiyetlerini kavramanın temelidir.

Alanın önemi, iki türün farklı doğasından gelir. Yığın ve öbek taşmaları, aynı temel soruna dayanır ama farklı sonuçlar doğurur. Bu farklılık, savunma ve istismar açısından önemlidir. Her türü ayrı ayrı anlamak, bellek güvenliğini bütünsel kavramayı sağlar. İki türün farkı, bellek zafiyetlerinin çeşitliliğini gösterir.

Yığın ve Öbek Taşması Nedir?

Yığın ve öbek taşması, sırasıyla yığın ve öbek bellek bölgelerinde arabellek sınırlarının aşılmasıyla oluşan, farklı yapı ve istismar teknikleri taşıyan iki bellek taşması türüdür.

Yığın, program akışını yönetir. Yığın, fonksiyon çağrılarını ve yerel değişkenleri düzenli biçimde tutar. Bu bölge, programın hangi adrese döneceği gibi kritik bilgileri de içerir. Arabellek taşması, yığında özellikle tehlikelidir. Yığının yapısı, taşmaların akış kaçırmaya yol açmasını kolaylaştırır.

Öbek, dinamik belleği yönetir. Öbek, program çalışırken ihtiyaç duyulan belleği ayırır ve serbest bırakır. Bu bölge, yığından farklı bir yapıya sahiptir. Öbek taşmaları, bu dinamik yönetim yapılarını bozarak istismar edilir. Öbeğin yapısı, taşmalarının farklı istismar gerektirmesini sağlar.

Nasıl Farklıdır?

Yığın taşmaları, doğrudan akış kaçırır. Yığın, dönüş adreslerini içerdiği için bir taşma bu adresleri değiştirebilir. Bu değişiklik, programı saldırganın koduna yönlendirir. Bu doğrudanlık, yığın taşmalarını klasik ve etkili bir istismar hedefi yapar. Akış kaçırma, yığın taşmasının belirgin özelliğidir.

Öbek taşmaları, dolaylı istismar gerektirir. Öbek, dönüş adresleri içermediği için istismarı daha karmaşıktır. Saldırganlar, öbek yönetim yapılarını ya da bellekteki işaretçileri bozarak istismar eder. Bu dolaylılık, öbek istismarını daha zorlu kılar. Karmaşıklık, öbek taşmasının ayırt edici yönüdür.

İki tür, farklı savunmalar gerektirir. Yığın taşmalarına karşı yığın koruyucuları etkiliyken, öbek taşmaları farklı korumalar gerektirir. Bu farklılık, bellek savunmasının çok yönlü olması gerektiğini gösterir. Her tür, kendine özgü önlemlerle ele alınmalıdır. Savunma farklılığı, iki türün ayrımını pekiştirir.

• Yığın: akış denetimi bilgileri
• Öbek: dinamik bellek yönetimi
• Yığın: doğrudan akış kaçırma
• Öbek: dolaylı istismar
• Farklı savunma teknikleri

Yığın Koruyucuları

Yığın koruyucuları, yığın taşmalarını tespit eder. Bu mekanizma, yığına özel bir kontrol değeri yerleştirir. Bir taşma bu değeri değiştirirse, program bunu fark eder ve durur. Bu tespit, akış kaçırmayı önler. Yığın koruyucuları, yığın taşmalarına karşı etkili bir savunmadır.

Bu koruma, taşmayı istismardan önce yakalar. Kontrol değeri, dönüş adresinden önce yerleştirilir. Böylece dönüş adresine ulaşan bir taşma, önce kontrol değerini bozar. Bu bozulma, taşmanın işaretidir ve program güvenli biçimde sonlandırılır. Erken yakalama, yığın koruyucularının gücüdür.

Öbek Korumaları

Öbek korumaları, yönetim yapılarını korur. Modern öbek yöneticileri, yapılarının bütünlüğünü denetleyen mekanizmalar içerir. Bu denetimler, öbek taşmalarının istismarını zorlaştırır. Bozulmuş bir öbek yapısı, tespit edilerek istismar engellenebilir. Öbek korumaları, bu türe özgü bir savunma sağlar.

Bellek koruma teknikleri, her iki türe de yardımcı olur. Bellek koruma teknikleri, hem yığın hem öbek taşmalarının istismarını zorlaştırır. Bu genel korumalar, türe özgü savunmaları tamamlar. Böylece bellek güvenliği, çok katmanlı hale gelir. Genel korumalar, iki tür için de değerlidir.

Öbek İstismar Teknikleri

Öbek istismarı, çeşitli teknikler kullanır. Saldırganlar, öbek yönetim yapılarını dikkatle manipüle ederek istismarı gerçekleştirir. Bu manipülasyon, öbeğin nasıl çalıştığına dair derin bir anlayış gerektirir. Bu nedenle öbek istismarı, yığın istismarından daha uzmanlık gerektirir. Teknik karmaşıklık, öbek istismarının ayırt edici yönüdür.

Öbek düzenleme, istismarın bir parçasıdır. Saldırgan, öbeği belirli bir düzene sokarak istismarı kolaylaştırır. Bu düzenleme, bellek bölgelerinin öngörülebilir biçimde yerleşmesini sağlar. Öngörülebilirlik, saldırganın istismarını güvenilir kılar. Öbek düzenleme, ileri istismarın bir tekniğidir.

Kullanım sonrası serbest bırakma, öbekle ilişkilidir. Öbekte serbest bırakılan bellek, use-after-free zafiyetlerine yol açabilir. Use-after-free, öbek yönetimiyle yakından bağlantılıdır. Bu ilişki, öbek güvenliğinin bütünsel ele alınmasını gerektirir. Bağlantılı zafiyetler, öbek güvenliğinin karmaşıklığını gösterir.

Nasıl Önlenir?

İlk önlem, sınır denetimidir. Hem yığın hem öbek arabelleklerine yazılan verinin boyutu denetlenmelidir. Bu denetim, her iki türde de taşmayı önler. Sınır denetimi, bellek taşmalarının temel önlemidir. Denetim, her iki tür için de geçerli bir savunmadır.

İkinci önlem, güvenli bellek yönetimidir. Bellek dikkatli biçimde ayrılmalı, kullanılmalı ve serbest bırakılmalıdır. Bu dikkat, hem taşmaları hem ilgili zafiyetleri önler. Güvenli yönetim, bellek hijyeninin temelidir. Dikkatli yönetim, iki türü de kapsayan bir önlemdir.

Üçüncü önlem, bellek güvenli dillerdir. Bu diller, hem yığın hem öbek zafiyetlerini otomatik olarak önler. Otomatik bellek yönetimi, bu zafiyetlerin en baştan oluşmasını engeller. Bu yaklaşım, iki türe karşı da köklü bir çözüm sağlar. Bellek güvenli diller, kapsamlı bir savunmadır.

Privia Security olarak uygulamalarda yığın ve öbek bellek zafiyetlerinin değerlendirilmesini altyapı ve mimari gözden geçirme kapsamında ele alıyoruz.