Gelişmiş Güvenli Kod İncelemesi

Bilinmeyen bir kod tabanının mimarisini routing tanımları, middleware zincirleri ve konfigürasyon dosyalarını analiz ederek haritalamak.

Çağrı grafi (call-graph) ve veri akışı (data-flow) odaklı kod review stratejilerini karşılaştırarak hedef kod tabanına uygun yaklaşımı seçmek.

Kod tabanındaki örtük ve gizli güven sınırlarını — özellikle servisler arası iletişim ve dolaylı veri akışlarında — tespit etmek.

Güvenlik açısından kritik giriş noktalarını (entry point) ve tehlikeli hedefleri (sink) sistematik kod keşif teknikleriyle tespit etmek.

Dahili servisler arasındaki örtük güven ilişkilerini değerlendirerek istismar edilebilir varsayımları ortaya çıkarmak.

Review kapsamını saldırı yüzeyi, kod karmaşıklığı ve değişiklik geçmişine göre önceliklendirmek.

Global state, ortam değişkenleri ve paylaşılan kaynaklar üzerinden oluşan örtük veri akışlarını tespit etmek.

Kirli (tainted) veriye uygulanan temizleme, kodlama veya doğrulamanın hedef sink için bağlamsal olarak doğru olup olmadığını değerlendirmek.

Katmanlar arası veri akışını (frontend, API, backend, veritabanı) izleyerek güven sınırı ihlallerini belirlemek.

Kodlama/çözme sırası uyumsuzlukları ve çift kodlama yoluyla sanitizasyon atlatma fırsatlarını tespit etmek.

Alternatif kod yolları, geri dönüş mekanizmaları ve hata yönetimi mantığı üzerinden kimlik doğrulama atlatmalarını tespit etmek.

JWT implementasyonlarında algoritma karışıklığı, eksik claim doğrulama ve anahtar yönetimi sorunlarını tespit etmek.

OAuth 2.0 ve OIDC implementasyonlarında state parametresi kötüye kullanımı ve redirect URI doğrulama açıklarını analiz etmek.

Dağıtık mimarilerde oturum yönetiminin karmaşık başarısızlık modlarını (çapraz hizmet oturum karışıklığı, token yenileme yarış koşulları) kodda tespit etmek.

Nesne referanslarının nasıl çözümlendiğini ve kullanıcı bağlamına karşı nasıl doğrulandığını analiz ederek IDOR zafiyetlerini tespit etmek.

Rol hiyerarşisi mantık hataları ve rol atama kodu üzerinden yetki yükseltme yollarını belirlemek.

ORM sorguları ve veri erişim katmanlarında çok kiracılı (multi-tenant) veri izolasyonu başarısızlıklarını bulmak.

Uygulama iş akışlarını koddan durum makineleri olarak modelleyerek yasadışı veya istenmeyen durum geçişlerini tespit etmek.

Paylaşılan kaynakları veya kritik bölümleri işleyen çok iş parçacıklı ve asenkron kodda yarış koşullarını (race condition) belirlemek.

Dosya işlemleri, veritabanı kontrolleri ve yetkilendirme kararlarında TOCTOU (Time-of-check to time-of-use) zafiyetlerini tespit etmek.

Hata yönetimi ve yeniden deneme mantığında istismar edilebilir durum tutarsızlıkları ve kısmi geri alma açıklarını analiz etmek.

Finansal ve miktar hesaplamalarında sayısal taşma, alt taşma ve kayan nokta hassasiyet hatalarını bulmak.

Bir bağlamdan depolanan verinin başka bir bağlamda güvensiz kullanıldığı ikinci derece enjeksiyonları (second-order injection) tespit etmek.

URL oluşturma ve HTTP istemci kullanımında kullanıcı kontrollü girdilerle Sunucu Tarafı İstek Sahteciliği (SSRF) desenlerini izlemek.

.NET'in XML parser'larındaki (örn: XmlReader, XslTransform) XXE ve güvensiz DTD işleme zafiyetlerini tespit etmek.

MVC ve API framework'lerinde örtük nesne bağlama ve DTO dönüşüm zincirlerindeki gizli mass assignment zafiyetlerini tespit etmek.

JavaScript'te nesne birleştirme ve özyinelemeli atama desenleri üzerinden prototype pollution zafiyetlerini belirlemek.

Dinamik tipli dillerde karşılaştırma işlemlerindeki tip hokkabazlığı (type juggling) ve tip zorlaması (type coercion) istismarlarını tespit etmek.

Token, nonce ve salt üretiminde yetersiz entropiyi belirlemek.

Dağıtık mimarilerde anahtar yönetimi karmaşıklıklarını analiz etmek: secret rotation açıkları, güvensiz anahtar paylaşımı ve konfigürasyon sızıntıları.

Özel kriptografik protokol implementasyonlarını değerlendirerek yerleşik standartlardan sapmaları ve mantık hatalarını belirlemek.

JavaScript (Node.js) kodunda düzenli ifade tabanlı hizmet reddi (ReDoS) zafiyetlerini tespit etmek.

Node.js'te CPU-yoğun operasyonlar veya senkron I/O nedeniyle oluşan olay döngüsü blokajı (event loop blocking) desenlerini belirlemek.

JavaScript'te `eval`, `new Function` gibi fonksiyonların güvensiz kullanımıyla dinamik kod çalıştırma zafiyetlerini tespit etmek.

Frontend JavaScript kodunda global scope'u ve DOM nesnelerini manipüle eden DOM clobbering zafiyetlerini belirlemek.

Python'un modül yükleme mekanizmalarını ve PYTHONPATH'i manipüle ederek import hijacking gerçekleştirme yollarını kodda tespit etmek.

Java kodunda JNDI enjeksiyonu zafiyetlerini Log4j, RMI ve LDAP bağlamlarında tespit etmek.

Java'da reflection API'lerinin (örn: Class.forName) güvensiz kullanımını analiz ederek kod enjeksiyonu ve güvenlik mekanizmalarını atlatma yollarını bulmak.

Java ekosisteminde Spring Expression Language (SpEL) ve OGNL enjeksiyonu desenlerini derinlemesine analiz etmek.

ASP.NET ViewState deserialization zafiyetlerini ve MAC (Message Authentication Code) koruması atlatma tekniklerini analiz etmek.

Spring Security konfigürasyonlarında yanlış yapılandırılmış filtre zincirleri üzerinden kimlik doğrulama ve yetkilendirme atlatmalarını analiz etmek.

Express.js middleware sıralamasını ve Django/Flask güvenlik middleware'lerini değerlendirerek güvenlik boşluklarını tespit etmek.

GraphQL API'lerinde introspection kontrolü, derinlik/maliyet limiti eksiklikleri ve aşırı veri ifşası zafiyetlerini analiz etmek.

REST API endpoint'lerinde karmaşık sahiplik kontrolleri ve serializer konfigürasyonları üzerinden Kırık Nesne Seviyesinde Yetkilendirme (BOLA) zafiyetlerini tespit etmek.

Belirli bir zafiyet bulgusundan yola çıkarak, zafiyetin temel nedenini ve tekrar edilebilir desenini soyutlamak (variant analysis).

Soyutlanmış zafiyet desenini kullanarak kod tabanındaki tüm potansiyel varyantları bulmak ve doğrulamak.

İki veya daha fazla farklı kod bulgusunu birleştirerek mantıksal bir istismar yolu oluşturmak ve kavram kanıtı (PoC) anlatısı yazmak.

Tespit edilen zafiyetlerin gerçek dünya etkisini değerlendirerek hedefli kod review kontrol listeleri geliştirmek.