cqual

cqual - инструмент анализа для обнаружения ошибок в C программах. Программа расширяет C систему с дополнительными определяемыми пользователем спецификаторами типа. Программист комментирует свою программу с соответствующими спецификаторами, и cqual проверяет ошибки. Неправильные аннотации указывают на потенциальные ошибки. cqual представляет результаты анализа, использующие Program Analysis Mode, emacs на основе GUI. Сqual может использоваться, чтобы обнаружить потенциальную уязвимость форматной строки.

Платформы:UNIX