Splint statik güvenlik açıkları ve programlama hatalarından C programları kontrol etmek için bir araçtır.
Atel kullanılmayan beyanlar, tip tutarsızlıklar, kullanım tanımı önce ulaşılamaz kod göz ardı dönüş değerleri, yürütme yolları dönüşü ile, büyük olasılıkla sonsuz döngüler dahil olmak üzere geleneksel tüy bırakmayan kontrolleri çoğu yapar ve vakaların üzerinden düşer.
Daha güçlü kontroller kaynak kodu açıklamaları verilen ek bilgi ile mümkün kılınmıştır. Açıklamalar stilize yorumlar fonksiyonlar, değişkenler, parametreler ve tipleri hakkında o belge varsayımlar bulunmaktadır.
Özellikle açıklamalar olarak etkin kontrollere ek olarak, geleneksel tüy bırakmayan çeklerin birçoğu bu ek bilgi yararlanılarak geliştirildi.
Daha fazla çaba annotating programları daha iyi kontrol sonuçlarına koymak gibi. Splint kullanmak için bir temsili çaba fayda eğrisi Şekil 1'de gösterilmiştir.
Atel esnek olması ve programcılar belirli projeler için çaba fayda eğrisi üzerinde uygun noktaları seçmek için izin vermek için tasarlanmıştır.
Farklı kontroller açılır ve kod verilmiştir fazla bilgi dramatik artışlar tespit edilebilir hata sayısını ek not.
Splint tarafından algılanan sorunlar şunlardır:
Yorum Bulunamadı