Splint

Splint 3.1.1

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