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