PC-lint - это коммерческий программный инструмент линтинга , производимый Gimpel Software (ранее Gimp Suit Software Ltd.) для языков C / C ++ .
PC-lint - это инструмент командной строки для выполнения статического анализа кода , который указывает на подозрительные или просто неправильные проблемы в исходном коде. PC-lint может быть интегрирован в IDE в качестве внешнего инструмента, а формат предупреждающих сообщений может быть адаптирован к форме, которую IDE может распознать и обработать. Он рекламируется как работающий в Microsoft Windows и OS / 2. Отдельная многоплатформенная версия под названием FlexeLint также доступна для Unix и других платформ, хотя и по значительно более высокой цене.
PC-lint можно использовать для обеспечения качества исходного кода C или C ++ и проверки кода на соответствие руководствам по кодированию, таким как MISRA C или MISRA C ++. [1] Он также включает проверки на наличие проблем, уникальных для параллельных программ, построенных на потоках POSIX . [2]
Постобработка
Вывод PC-Lint может использоваться дополнительными инструментами для создания отчетов и представления предупреждений в более доступной форме. [3]
Движок ALOA изначально был выпущен бесплатно Ральфом Холли ( about.com ) и теперь находится на GitHub , предоставляя отчеты о регрессии, сравнивающие несколько запусков линтов.
Visual Lint обеспечивает интеграцию IDE, а также помогает понимать сообщения PC-Lint и настраиваемые отчеты о предупреждениях о линтах.
Linticator интегрирует PC-lint в Eclipse C / C ++ Development Tooling для обеспечения обратной связи в редакторе и создания файлов конфигурации и маркеров подавления для PC-Lint.
Смотрите также
Рекомендации
- ^ Проверка соответствия MISRA, PC-lint / FlexeLint, Gimpel Software.
- ↑ Андрей Карпов (июнь 2009 г.). «Параллельный линт» . Журнал доктора Добба.
- ^ Джон Зизик (февраль 2003 г.). «Генератор отчетов для PC-Lint» . Журнал доктора Добба.
Внешние ссылки
- Веб-сайт компании - Gimpel Software
- Интеграция с коммерческой IDE Visual Lint
- Продукт регрессии с открытым исходным кодом ALOA для сравнения прогонов lint
- Введение в презентацию PC-lint , Ральф Холли, v1.20, 9 февраля 2014 г.