-fbounds-safety, C programlama dilinde bellek sınırları dışına erişimi (out-of-bounds - OOB) önlemek amacıyla geliştirilmiş bir uzantıdır. C'deki güvenlik açıklarının önemli bir kaynağı olan OOB erişimlerini ortadan kaldırmayı hedefleyen bu uzantı, bu tür erişimleri deterministik tuzaklara dönüştürerek programın beklenmedik davranışlar sergilemesini engeller. Geliştiriciler, __counted_by(N) gibi sınır ek açıklamalarını (bounds annotations) işaretçilere ekleyerek, derleyicinin her işaretçi referansında sınır kontrolleri yapmasını sağlar. Bu sayede, programın belirtilen sınırlar dışındaki belleğe erişmemesi garanti altına alınır. Derleyici, erişimlerin çalışma zamanında veya derleme zamanında kontrol edilebilmesi için yeterli sınır bilgisinin sağlanmasını zorunlu kılar ve aksi takdirde kodu reddeder.
-fbounds-safety'nin en önemli katkısı, ABI (Application Binary Interface) sınırlarında sınır ek açıklamalarını, yerel değişkenlerde ek açıklamaya gerek kalmadan sınır bilgisi taşıyan örtük "geniş işaretçiler" (wide pointers veya "fat" pointers) kullanımıyla birleştirerek geliştiricinin ek açıklama yükünü azaltmasıdır. Bu model, C ile ABI uyumluluğunu korurken benimseme çabasını en aza indirecek şekilde tasarlanmıştır. Uzantı, milyonlarca satır üretim C kodunda benimsenmiş ve tüketici işletim sistemi ortamında çalıştığı kanıtlanmıştır.
Uzantı, gerçek dünya senaryolarında tüm bir projenin ve bağımlılıklarının aynı anda değiştirilmesinin genellikle mümkün olmadığı durumlarda anahtar bir gereksinim olan kademeli benimsemeyi mümkün kılmak için tasarlanmıştır. Mevcut güvenli C lehçelerine yönelik yaklaşımların benimsenmesini zorlaştıran diğer pratik zorlukların da üstesinden gelir. ABI uyumluluğunu korur, düz C koduyla iyi çalışır, kısmen ve kademeli olarak benimsenerek güvenlik faydaları sağlayabilir, C'ye uygun bir uzantıdır ve nispeten düşük bir benimseme maliyetine sahiptir. Bu özellikler, -fbounds-safety'yi pratikte geniş çapta benimsenebilir kılmaktadır.
Bu uzantı, C programlarındaki bellek güvenliği açıklarını kökten çözerek yazılım kalitesini ve güvenilirliğini artırma potansiyeli taşıyor.