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

Аналоги и альтернативы Splint

Наиболее популярные альтернативы и аналоги Splint для Windows, Linux.