Описание тега splint

NoneSplint ("безопасное программирование lint") - это реализация lint, то есть инструмент для статической проверки программ C на наличие уязвимостей безопасности и ошибок кодирования. С минимальными усилиями Splint может использоваться как лучший пух. Если приложить дополнительные усилия для добавления аннотаций к программам, Splint может выполнить более строгую проверку, чем любой стандартный lint.