PC-lint Plus

PC-lint Plus - это инструмент статического анализа, который находит дефекты в программном обеспечении путем анализа исходного кода C и C ++.

Подобно компилятору, PC-lint Plus анализирует файлы исходного кода, выполняет семантический анализ и строит абстрактное синтаксическое дерево для представления вашей программы. Отсюда PC-lint Plus использует различные механизмы, включая анализ потока данных, отслеживание значений, анализ чтения-записи, строгую проверку типов, семантическую проверку функций и многие другие технологии, чтобы обеспечить надежный и целостный анализ как отдельных файлов, так и всего проекта. .

Затем PC-lint Plus сообщает о своих результатах, используя четкую, краткую и действенную диагностику, которую легко понять. Формат диагностического сообщения полностью настраивается и включает точную информацию о местоположении и контекст, необходимые для быстрого устранения дефектов. PC-lint Plus можно запускать из командной строки, интегрировать в процесс сборки или систему непрерывной интеграции или запускать из среды IDE.