Splint

Шина е инструмент за статично проверка програми C за уязвимости в сигурността и програмни грешки.
Шина прави много от традиционните проверки влакънца включително неизползваните декларации, тип несъответствия, употреба преди определение, недостижим код, игнорирани стойности за връщане, за изпълнение на пътища с която няма връщане назад, вероятно безкрайни цикли, и да падне в дела.
Повече мощни проверки са възможни с допълнителна информация, дадена в изходния код анотации. Анотации са стилизирани коментира, че документа за приемането на около функции, променливи, параметри и видове.
В допълнение към проверките специално активирани по анотации, много от традиционните проверки влакънца са подобрени чрез използване на тази допълнителна информация.
Тъй като все повече усилия се пускат в слагане на бележки програми, по-добри резултати за проверка. Представителна крива A усилия и ползите за използване Шина е показан на фигура 1.
Шина е проектиран да бъде гъвкава и да позволява на програмистите да изберете подходящи точки на кривата на усилия и ползите за конкретни проекти.
Тъй като различните проверки са включени и повече информация се дава в код анотации на броя на грешки, които могат да бъдат открити увеличава драстично.
Проблеми, установени от Шина включват: