Из FAQ по шинам:
Шина поддерживает большинство, но не все, расширения C99 для ANSI C.
Это означает, что шина, увы, нетак же, как пухУ меня был личный опыт работы с splint для фрагментов кода, таких как:
for (int i; i < 100; i++)
/* Run code */
Поскольку объявление переменной внутри заголовка цикла for не разрешено до C99, как в этом примере, splint будет жаловаться наэтот.Поэтому я все еще ищу хорошую альтернативу шины для Ubuntu.