Splint

Шинная является инструментом для проверки статически C программы для уязвимостей и ошибок программирования.
Шинная делает многие из традиционных проверок нибудь вкусненькое, включая неиспользованные деклараций, несоответствий типа, использование перед определением, недостижимого кода, игнорируются возвращаемых значений, путей выполнения без возвращения, вероятно, бесконечные циклы, и проваливаются случаях.
Более мощные проверки стало возможным благодаря дополнительной информации, представленной в исходный код аннотации. Аннотации стилизованные комментарии, что предположения о документе функций, переменных, параметров и типов.
В дополнение к проверкам, специально включены по аннотации, многие из традиционных проверок линт улучшены за счет использования этой дополнительной информации.
Чем больше усилий введен в пояснительных программ, лучших результатов проверки. Репрезентативной кривой усилия выгод для использования шину показано на рисунке 1.
Шинная предназначен для гибки и позволяют программистам, чтобы выбрать соответствующие точки на кривой усилия выгод для конкретных проектов.
Поскольку различные проверки включен и больше информации дается в коде аннотации количество ошибок, которые могут быть обнаружены резко возрастает.
Проблемы, обнаруженные шину включают в себя: