PC-Lint - PC-Lint

Эта статья имеет нечеткий стиль цитирования. Используемые ссылки можно сделать более ясными с помощью другого или последовательного стиля цитата и сноска. Нарушает Википедию: Внешние ссылки: «Статьи Википедии могут содержать ссылки на веб-страницы за пределами Википедии (внешние ссылки), но они обычно не должны использоваться в основной части статьи». (Август 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

ПК-линт это коммерческое программное обеспечение линтинг инструмент, произведенный Gimpel Software (ранее Gimp Suit Software Ltd.) для C /C ++ языков.

PC-lint - это инструмент командной строки для выполнения статический анализ кода, что указывает на подозрительные или явно неправильные проблемы в исходном коде. PC-lint можно интегрировать в Иды как внешний инструмент, а формат предупреждающих сообщений может быть адаптирован к форме, которую IDE может распознать и обработать. Он рекламируется как работающий в Microsoft Windows и OS / 2. Отдельная мультиплатформенная версия под названием FlexeLint также доступен для Unix и других платформ, хотя и по значительно большей цене.

PC-lint можно использовать для обеспечения качества исходного кода C или C ++ и проверки кода на соответствие руководящим принципам кодирования, таким как MISRA C или MISRA C ++.^[1] Он также включает проверки на наличие проблем, уникальных для параллельных программ, построенных на Потоки POSIX.^[2]

Постобработка

Вывод PC-Lint может использоваться дополнительными инструментами для создания отчетов и представления предупреждений в более доступной форме.^[3]

Движок ALOA изначально был выпущен бесплатно Ральфом Холли (прибл. com ) и сейчас проживает по адресу GitHub, предоставляя отчеты о регрессии, сравнивающие несколько прогонов линтов.

Visual Lint обеспечивает интеграцию IDE, а также помогает понимать сообщения PC-Lint и настраиваемые отчеты предупреждений о ворсинах.

Линтикатор интегрирует PC-lint в Eclipse C / C ++ Development Tooling для обеспечения обратной связи в редакторе и создания файлов конфигурации и маркеров подавления для PC-Lint.

Смотрите также

• Список инструментов для статического анализа кода

Рекомендации

внешняя ссылка

• Вебсайт компании - Gimpel Software
• Интеграция коммерческой IDE Визуальный линт
• ALOA продукт регрессии с открытым исходным кодом для сравнения прогонов lint
• Введение в PC-lint Презентация Ральфа Холли, версия 1.20, 9 февраля 2014 г.