Splint 3.1.1
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...