Bulaşma Analizi
Taint Analysis (Data Flow Analysis) · Ayrıca şöyle bilinir: taint analysis, information flow, data tainting
Bulaşma analizi, güvenilmeyen (bulaşmış) girdinin bir programda nasıl aktığını izleyerek, bulaşmış verinin tehlikeli işlemlere (hedef noktalar) ulaştığı güvenlik açıklarını belirleyen bir veri akış analizi tekniğidir. Newsome ve Song tarafından 2005 yılında biçimselleştirilen bulaşma analizi, girdi verilerini bulaşmış olarak işaretler ve bulaşma etiketlerini program boyunca yayarak SQL sorguları veya sistem çağrıları gibi hassas işlemlere bulaşmış veri ulaştığında uyarı verir. Bulaşma analizi, enjeksiyon güvenlik açıklarını tespit etmek için temeldir ve dinamik analiz araçları ile güvenlik izleme sistemlerinde yaygın olarak kullanılır.
Tam yöntemi oku
Bu bölümü okumak için ücretsiz hesapla giriş yapın.
Yöntem haritası
İlişkili yöntemlerin komşuluğu — keşfetmek için bir düğüm seçin.
Ne zaman kullanılır
Bulaşma analizi, enjeksiyon saldırılarını tespit etmek ve girdinin kullanımdan önce uygun şekilde temizlendiğini doğrulamak için esastır. Güvenilmeyen girdi işleyen uygulamalarda, özellikle web uygulamaları ve ağ hizmetlerinde dinamik bulaşma analizini kullanın. Bulaşma analizi, web güvenlik açıkları (SQL enjeksiyonu, XSS, komut enjeksiyonu) için en etkilidir ancak mantıksal güvenlik açıklarında veya yetkilendirme kusurlarında daha az etkilidir.
Güçlü yönler & sınırlılıklar
- Yüksek hassasiyet ve düşük yanlış pozitif oranıyla enjeksiyon güvenlik açıklarını tespit eder
- Veri bağımlılıklarını açıkça izler, kaynaktan hedef noktaya net güvenlik açığı yolları sağlar
- Kaynak kodunun bulunmadığı çalışan programlara uygulanabilir
- Özellikle güvenlik açısından kritik kodda doğrulama hatalarını yakalamada etkilidir
- Örtük akışlar (bulaşmış verinin doğrudan veri akışını değil, kontrol akışını etkilediği durumlar) izlenmesi zordur
- Çalışma zamanı enstrümantasyonu ve bulaşma takibi nedeniyle performans ek yükü önemli olabilir
- Bulaşma, bazı dönüşümlerle (şifreleme, özetleme) kaybolabilir; aşırı yaklaşıklık yanlış pozitiflere yol açar
- Kaynak ve hedef noktaların tanımlanmasını gerektirir; eksik tanımlama güvenlik açıklarını gözden kaçırır
SSS
Statik ve dinamik bulaşma analizi arasındaki fark nedir?
Statik bulaşma analizi, kodu çalıştırmadan inceler ve veri akışlarını aşırı yaklaştırabilir. Dinamik bulaşma analizi, çalışma zamanında gerçek veri akışlarını izleyerek kesin sonuçlar verir ancak imkansız yolları kaçırır.
Bulaşma analizi örtük akışları nasıl ele alır?
Örtük akışlar, bulaşmış verinin kontrol akışını etkilediği durumlarda ortaya çıkar. Örtük akışları izlemek, hangi dalların bulaşmış koşullara bağlı olduğunu analiz etmeyi gerektirir, bu da önemli bir karmaşıklık ekler.
Dinamik bulaşma analizinin performans ek yükü nedir?
Enstrümantasyon tipik olarak izleme ayrıntı düzeyine bağlı olarak 2-10 kat yavaşlamaya neden olur. İkili düzeyde izleme, kaynak düzeyinde izlemeden daha yavaştır. Örnekleme teknikleri, eksik kapsama maliyetiyle ek yükü azaltır.
Bulaşma analizi için kaynak ve hedef noktaları nasıl tanımlarım?
Kaynaklar girdi vektörleridir (ağ, dosyalar, kullanıcı girdisi). Hedef noktalar tehlikeli işlemleri (SQL sorguları, sistem çağrıları) ifade eder. Kapsamlı kaynak/hedef noktası tanımlaması, alan bilgisi ve uygulama anlayışı gerektirir.
Bulaşma analizi tüm enjeksiyon güvenlik açıklarını tespit edebilir mi?
Bulaşma analizi doğrulama hatalarını tespit eder ancak bulaşmış verinin bağlama özgü şekillerde kullanıldığı güvenlik açıklarını (örneğin, format dizgisi saldırıları, ikinci dereceden SQL enjeksiyonu) kaçırabilir.
Kaynaklar
- Newsome, J., & Song, D. X. (2005). Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Network and Distributed System Security Symposium (NDSS 2005). link ↗
- Schwartz, E. J., Avgerinos, T., & Brumley, D. (2010). All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask). In IEEE Symposium on Security and Privacy (SP), 2010, pp. 317-331. DOI: 10.1109/SP.2010.26 ↗
Bu sayfayı kaynak gösterin
ScholarGate. (2026, June 3). Taint Analysis (Data Flow Analysis). ScholarGate. https://scholargate.app/tr/cryptography/taint-analysis
Hangi yöntem?
Bu yöntemi en yakın akrabalarının yanına koyup yan yana okuyun — kütüphane kitapları masaya serer; seçim sizindir.
- FuzzingKriptografi↔ karşılaştır
- Statik Uygulama Güvenlik TestiKriptografi↔ karşılaştır
- Sembolik YürütmeKriptografi↔ karşılaştır