Atlet Splint, güvenlik sorunları ve kodlama hataları için C programlarını kontrol eden bir araçtır.
Şimdi İndirin

Atlet Sıralama ve Özet

Atlet Etiketler

Hata ayıklayıcı Güvenlik sorunları Kodlama hataları Atlet

Atlet Açıklama

Splint, güvenlik problemleri ve kodlama hataları için C programlarını kontrol eden bir araçtır. Splint, güvenlik güvenlik açıkları için C programlarını statik olarak kontrol etme ve programlama hataları için bir araçtır. Döngüler ve davalardan düşmek. Kaynak kod ek açıklamalarında verilen ek bilgilerle daha güçlü çekler yapılır. Ek açıklamalar, fonksiyonlar, değişkenler, parametreler ve türler hakkındaki varsayımları belgelendiren stilize edilmiştir. sonuçları kontrol etme. Splint kullanmak için bir temsili çaba-fayda eğrisi, Şekil 1.Splint'te esnek olacak şekilde tasarlanmıştır ve programcıların belirli projeler için çaba-fayda eğrisi üzerinde uygun noktaları seçmesine izin verilir. Farklı çekler açıktır ve daha fazla bilgi verilir. Kod Açıklamaları, tespit edilebilecek hata sayısı çarpar. Splint ile algılanan problemler şunlardır: · Muhtemelen Boş bir işaretçiyi - muhtemelen tanımlanmamış depolamayı kullanarak veya uygun şekilde tanımlanmayan Depolama Depolamasını kullanarak, C Derleyicileri · Bilgi İhlali · Sarkan Referanslar ve Bellek Sızıntılarının Kullanımlarını Dahil Hafıza Yönetimi Hataları · Tehlikeli Aliasing · Belirtilen arayüzlerle tutarsız olan değişiklikler ve olası sonsuz döngüler gibi sorunlu kontrol akışı, durumlar veya eksik anahtarlar ve şüpheli ifadeler · Tampon Taşma güvenlik açıkları · Tehlikeli Makro uygulamaları veya çağrıları · özelleştirilmiş adlandırma sözleşmelerinin ihlalleri.

Atlet İlgili Yazılım