PC-lint и Flexelint от Gimpel;Кто-нибудь ими пользовался?

Question

Итак, я прочитал несколько журнальных статей и веб-сайт о компиляторах Gimpel's PC-lint и Flexelint C / C ++.

Это действительно дорого (по крайней мере, для меня), но, похоже, в этом есть свои плюсы, оправдывающие такую стоимость.

Поэтому мне интересно, использовал ли кто-нибудь еще / купил их и может ли высказать свое мнение?

Answer 1

Некоторое время назад я пользовался PC-Lint.Лично я считаю, что это стоило вложенных средств.Частично ответ на ваш вопрос зависит от нескольких других факторов:

1.) Вы пробовали повысить уровень предупреждения компилятора до самого высокого уровня?Очень раздражает, но это приводит к обнаружению любых очевидных семантических ошибок.Я бы сделал это до того, как вложил деньги в специализированный инструмент, такой как PC-Lint

2.) Для кого вы кодируете?Если это домашнее задание для школы, то оно того не стоит.Если это программное обеспечение, которое вы продаете другим, то это хорошая инвестиция в создание чистого стабильного кода.

Имейте в виду, что, как и любому другому инструменту, может потребоваться некоторое время, чтобы научиться эффективно использовать PC-Lint.

Answer 2

Я только что закончил добавлять PC-Lint от Gimpel в процесс сборки.Это сложная конфигурация, но она определенно того стоит.В прошлом я работал в течение нескольких лет, используя этот же инструмент для ворсования, в нескольких разных проектах.Инструменты статической проверки кода помогают проверять наличие всех видов ошибок, которые компилятор не будет проверять, даже если предупреждение компилятора установлено на самый высокий (самый строгий) уровень.

Кроме того, инструмент Gimpel поддерживает MISRA (а также специальные правила для разных версий ANSI C).

Я согласен с Онорио Катеначчи в том, что если вы работаете над домашним заданием, вряд ли оно того стоит.Но если это необходимо для более надежного процесса сборки, Lint поможет вам находить ошибки на ранних стадиях цикла разработки, и это делает его стоящим.

Answer 3

Я пользовался линтом и другими продуктами Gimpel в 1985 году и был чрезвычайно счастливым покупателем.Я работал консультантом неполный рабочий день, и инструменты Gimpel позволили мне быстрее создать более надежный компонент.

Я не знаю, как относительное положение вещей изменилось за 25 лет.Мне забавно видеть, что, по крайней мере, в Unix Gimpel все еще распространяет запутанный исходный код.

Answer 4

Это не ответ на заданный вами вопрос, но если вы рассматриваете один коммерческий инструмент статического анализа, вам, вероятно, следует рассмотреть и инструменты статического анализа других компаний.Смотрите, например, стоят ли того инструментыстатическогоанализа кодана c?.И я бы предложил добавить к вопросу тег “Статический анализ”.