İş Mantığı ve Eşzamanlılık Zafiyetleri

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.