Splint 3.1.1
Шинная является инструментом для проверки статически C программы для уязвимостей и ошибок программирования.Шинная делает многие из традиционных проверок нибудь вкусненькое, включая неиспользованные деклараций, несоответствий типа, использование перед...