Missing Default Case in Switch Statement Açıklığı (CWE-478)
Bu makalede Missing Default Case in Switch Statement (CWE-478), yani Switch İfadesinde Default Durumun Olmaması güvenlik kusuru anlatılacaktır.

Güvenlik Açıklığı vs. Güvenlik Kusuru

Bu makale için seçilen başlıkta "açıklık" kelimesi yer almaktadır. Fakat bu ifade belki "dolaylı açıklık" şeklinde güncellenebilir. İstismar edilebilir güvenlik problemlerine güvenlik açıklığı denirken istismar edilemez güvenlik problemlerine güvenlik kusuru adı verilir. Bu makalede ele alınan esasında bir güvenlik kusurudur. Her güvenlik kusurunda güvenlik açıklığına yükselebilecek ihtimaller vardır. Diğer bir ifadeyle; her bir güvenlik kusurunda ilgili şartların sağlandığı durum senaryosu gelecekte meydana geldiğinde başarılı sızma girişimine gidebilecek yollar vardır. Bu sebeple güvenlik kusurları MITRE'nin CWE uluslararası güvenlik açıklıkları veritabanında güvenlik açıklıkları ile birarada beraber yer almaktadır. Statik kod analizi testlerinde uygulamaların geleceğini güvence altına almak için bugünden güvenlik kusurlarının titizlikle çözülmesi tavsiye edilir.


Açıklık Önem Derecesi:

Düşük

Açıklığın Etkisi:

Güvenliğin sürdürülebilirliğinin azalması

Açıklığın Açıklaması:

Programlama dillerinde switch ifadesi bir ifadeyi belirli sayıda duruma karşı eşleşme kıyaslamasına tabi tutma ve eşleşilen duruma dallanma, sonra da break komutu ile dallanmayı sonlandırma işlemini yapar. Eğer switch ifadelerinde default eşleşme durumu bulunmazsa bu durum “Switch İfadesinde Default Durumun Olmaması (CWE-478)” açıklığı olarak ele alınır.

Switch ifadelerinde default duruma yer verilmemesi planlanmamış çalışma akışına sebebiyet verebilir. Bu durum çoğunlukla istemci girdilerinin uygulama tarafından belirlendiği durumlarda yaşanan problemlerden bir tanesidir. Uygulama kullanıcılarına istemci girdilerini kendi koyduğunda gelecek girdilerin bunlardan bir tanesi olacağını varsayar. Switch ifadesi ise buna göre tasarlanır. Ancak girdi “istemci” girdisi olduğu için kullanıcı uygulamanın koyduğu değerleri kolaylıkla manipule edebilir ve geçersiz bir girdi gönderebilir. Bu durumda geçersiz girdi switch ifadesindeki kıyaslamaları komple atlamış olur ve switch ifadesi ne için kullanılıyorsa o anlamda suistimal edilebilir.

  • Örneğin switch ifadelerinde gelen girdiye göre güvenlik fonksiyonları çalışıyorsa geçersiz girdi girildiğinde güvenlik fonksiyonları atlatılmış olur ve uygulama switch’i atladığından normal akışına güvensiz devam eder.

  • Örneğin switch ifadelerinde gelen girdiye göre bir hesaplama yapılıyorsa (misal olarak anket için gelen oylar toplanıyorsa) geçersiz girdi girildiğinde switch atlanarak sonrasından devam edileceği için anket istatistiki verilerinin hesaplamasında bozulma yaşanabilir ve arayüze anket sonuçları basılamaz hale gelebilir. Bu da bir işlevin crash olması (çökmesi) anlamına gelir ki bir işlevde veya komple serviste servis dışı kalma sonucu doğurabilir.

  • v.b.

Switch ifadesi öncesi, switch ifadesinin kendisi ve switch ifadesi sonrası switch ifadesinde default durum olmadığında suistima edilebilir. Uygulama kodlamasında switch ifadesinde default duruma yer verilmesi gerekir. Bu bir “defansif programlama” örneğidir ve planlanmamış durumlarda uygulamanın güvende kalmasını sağlar.

Bu açıklığı göstermek adına java örneklerine yer verilmiştir:

Java

//Güvensiz Kod Örneği

switch (param) {  
    case 0:
        doSomething();
        break;
    case 1:
        doSomethingElse();
        break;
}

Bu örnekte switch ifadesi default durum içermediğinden güvensizdir.

Java:

// Güvensiz Kod Örneği 2 

switch (param) {
    default: 
        error();
        break;
    case 0:
        doSomething();
        break;
    case 1:
        doSomethingElse();
        break;
}

Bu örnekte ise default durum eşleşme durumları arasında en başta yer aldığından güvensizdir. Default durum eşleşme durumları arasında en sona yerleştirilmelidir.

Java:

// Güvenli Kod Örneği

switch (param) {
    case 0:
        doSomething();
        break;
    case 1:
        doSomethingElse();
        break;
    default: 
        error();
        break;
}

Bu örnekte güvenli kullanım gösterilmiştir.

Not:

Bir istisna olarak bazı durumlarda switch ifadesinde olası tüm durumlar konulabilir ve switch ifadesine default durumu koymak gerekmeyebilir. Bu durumda default durumu koymama sadece switch ifadesinde “%100” kesinlikte başka eşleşme durumunun meydana gelmeyeceği belli olduğu zaman geçerli olur.

Açıklığın Önlemi:

Kurum uygulamada kullanılan switch ifadelerine default eşleşme durumu ilave edilmelidir.

  • https://cwe.mitre.org/data/definitions/478.html
  • https://rules.sonarsource.com/java/RSPEC-131
  • https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/switch
Bu yazı 25.10.2025 tarihinde, saat 04:18:41'de yazılmıştır. 22.01.2026 tarihi ve 10:23:26 saatinde ise güncellenmiştir.
Yazar : Hasan Fatih ŞİMŞEK Görüntülenme Sayısı : 346
Yorumlar
Henüz yorum girilmemiştir.
Yorum Ekle
*
* (E-posta adresiniz yayınlanmayacaktır.)
*
*

#Arşiv


#Giriş

ID :
Şifre :