Splint 3.1.1
Шинна є інструментом для перевірки статично C програми для вразливостей і помилок програмування.Шинна робить багато хто з традиційних перевірок небудь смачненьке, включаючи невикористані декларацій, невідповідностей типу, використання перед визначенням,...