Splint 3.1.1
Шина е инструмент за статично проверка програми C за уязвимости в сигурността и програмни грешки.Шина прави много от традиционните проверки влакънца включително неизползваните декларации, тип несъответствия, употреба преди определение, недостижим код,...