✖


Jump to content

ПК-Линт

Edit links
Разработчик(и) Gimp Suit Software Ltd., позже Gimpel Software
Операционная система Microsoft Windows и ОС/2
Тип статический анализ кода C / C ++
Веб-сайт pclintplus .с Отредактируйте это в Викиданных

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 изначально был бесплатно выпущен Ральфом Холли и теперь находится на GitHub , предоставляя регрессионные отчеты, сравнивающие несколько запусков lints.

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

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

См. также

[ редактировать ]

Ссылки

[ редактировать ]
  1. ^ Проверка соответствия MISRA, PC-lint/FlexeLint.
  2. ^ Андрей Карпов (июнь 2009 г.). «Параллельный ворс» . Журнал доктора Доба.
  3. ^ Джон Зизик (февраль 2003 г.). «Генератор отчетов для PC-Lint» . Журнал доктора Добба.
  4. ^ «Riverblade — преимущества и возможности Visual Lint» .
[ редактировать ]
Retrieved from "https://en.wikipedia.org/w/index.php?title=PC-Lint&oldid=1185206774"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 11af82facbf553fe88352b0eb3ec8548__1700020800
URL1:https://arc.ask3.ru/arc/aa/11/48/11af82facbf553fe88352b0eb3ec8548.html
Заголовок, (Title) документа по адресу, URL1:
PC-Lint - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)