Mühendislik / KAOS AI · DSET Mühendislik Ekibi · 13 Ekim 2026 · 14 dakika okuma

Hızlı cevap

Otomatik exploit üretimi (Automatic Exploit Generation, AEG), bir yazılımdaki hatayı tespit etmekle kalmayıp o hatanın gerçekten sömürülebilir olup olmadığını makineyle kanıtlayan bir yaklaşımdır. Yapay zeka burada iki klasik tekniği birleştirir: girdiyi mutasyona uğratıp çökme arayan fuzzing ve programın hangi girdide hangi yola gittiğini matematiksel olarak çözen sembolik yürütme. Sonuç, "burada bir açık olabilir" tahmini değil, "bu girdi bu kontrolü bu şekilde aşıyor" kanıtıdır. Savunma değeri nettir: yanlış pozitifi sıfıra yaklaştırır ve ekibin zamanını yalnızca gerçek risklere ayırır.

Neden tespit yetmiyor

Klasik tarayıcıların çoğu desen eşleştirir. Bir yanıt kodu, bir başlık, bir dize görür ve "muhtemelen açık" der. Sahada bunun bedeli ağırdır. Ekip yüzlerce "muhtemelen" bulgusunu elle eler, gerçek olanı bulana kadar saatler geçer, bu sırada asıl kritik açık gürültünün içinde kaybolur.

AEG felsefesi bu kör noktayı kapatır. Temel ilke şudur: bir bulgu ya kanıtlanır ya da öldürülür. Tespit bir hipotezdir. Doğrulama, o hipotezin denetlenebilir bir kanıtla desteklenmesidir. KAOS'un doktrininde bu ayrım katıdır, tespit asla doğrulama yerine geçmez.

İki motor, tek amaç

Fuzzing: geniş ağ

Fuzzing, programa kasıtlı olarak bozuk, beklenmedik veya uç değerli girdiler verip onu şaşırtmaya çalışır. Akıllı bir fuzzer rastgele değil, kapsama güdümlü çalışır. Hangi girdinin yeni bir kod yoluna dokunduğunu ölçer ve o yolu derinleştirir. Bir çökme, bir bellek ihlali veya beklenmedik bir durum çıktığında elde bir ipucu vardır.

Sembolik yürütme: kesin yol

Fuzzing bir çökme bulur ama "neden" sorusunu tek başına cevaplayamaz. Sembolik yürütme devreye burada girer. Girdiyi somut bir değer yerine bir sembol olarak ele alır ve programın her dalında hangi koşulun sağlanması gerektiğini bir denklem olarak biriktirir. Bir kısıt çözücü bu denklemleri çözerek "şu kontrolü aşmak için girdi tam olarak şu olmalı" cevabını üretir. Bu, bir tahmin değil, mantıksal bir türetmedir.

Çökmeden kanıta: zincir

Yapay zeka katmanının katkısı bu iki motoru akıllıca sıralaması ve sonucu yorumlamasıdır. Tipik akış şöyledir:

  1. Fuzzing bir anomali üretir, örneğin bir çökme veya beklenmedik bir yanıt.
  2. Çökme türü sınıflandırılır. Bir bellek güvenliği sorunu mu, bir mantık hatası mı, bir doğrulama atlaması mı.
  3. Sembolik yürütme o yolu geri çözer ve tetikleyen kesin koşulu çıkarır.
  4. Üretilen aday, izole bir kum havuzunda yeniden koşturularak etkisi kanıtlanır.
  5. Kanıt bir çıpayla işaretlenir, böylece aynı bulgu daha sonra tekrar oynatılıp hala geçerli mi diye sınanabilir.

Bu zincirin çıktısı tek cümlede özetlenir: girdi, aşılan kontrol, gözlenen etki. Üçü birden yoksa bulgu doğrulanmış sayılmaz.

Kanıt temelli doğrulamanın tablosu

Yaklaşım Çıktı Yanlış pozitif riski Ekip yükü
Desen eşleştirme "Muhtemelen açık" Yüksek Yüksek elle eleme
Sadece fuzzing "Çökme var" Orta Tetikleyici belirsiz
Fuzzing artı sembolik "Kanıtlı koşul" Düşük Gerçek riske odak
AEG artı kanıt çıpası "Kanıt tekrar oynatılabilir" Çok düşük Minimum

Savunma değeri

AEG saldırgan bir teknik gibi duyulur ama asıl kazanan savunmadır. Bir açık saldırgandan önce kanıtlanırsa, yama doğru yere yazılır. Kanıt çıpası sayesinde yama sonrası aynı test tekrar koşturulur ve açığın gerçekten kapandığı ölçülür. Bu, imzalı bir PDF raporun ötesine geçer, yaşayan bir doğrulama döngüsü kurar.

KAOS bu yaklaşımı yerel ve izole çalıştırır. Hedef verisi dışarı çıkmaz, üretilen her aday kum havuzunda koşar, yazma etkisi gereken adımlar ayrı bir insan onayına bağlıdır. Otonomluk, kontrolsüzlük değildir.

Sık sorulan sorular

AEG her açığı otomatik mi sömürür? Hayır. AEG, sömürülebilirliği kanıtlanabilen açıklarda güçlüdür. Mantık ve iş akışı açıklarının bir kısmı hala insan muhakemesi gerektirir. KAOS bu durumda dürüstçe "kanıt üretilemedi" der, uydurmaz.

Bu teknik üretim sistemine zarar verir mi? Doğru kurgulandığında hayır. Doğrulama izole bir kum havuzunda yapılır. Canlı sisteme yazma etkisi olan adımlar varsayılan olarak kapalıdır ve ayrı onay ister.

Yanlış pozitif tamamen biter mi? Sıfıra yaklaşır ama matematiksel sıfır iddiası abartı olur. Kanıt zinciri, bir bulgunun neden gerçek sayıldığını her zaman denetlenebilir kılar, asıl kazanç budur.

KAOS ile tanışın

Bu yazıdaki yeteneklerin tamamı KAOS güvenlik zekasında canlı çalışır. KAOS, DSET Mühendislik ekibi tarafından Türkiye'de geliştirilen, inference'ı yerel kalan otonom bir güvenlik motorudur. Hacettepe Teknokent tabanlı ekibimizle kurumunuzun saldırı yüzeyini ölçmek için demo talep edebilirsiniz.

KAOS demo talep et · Sızma testi hizmeti