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

Question

Итак, я прочитал несколько журнальных статей и веб-сайт для компилятора Gimpel для 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 lint и другие продукты в 1985 году и был чрезвычайно счастливым клиентом. У меня был неполный рабочий день, и инструменты Gimpel позволили мне быстрее доставить более надежный компонент.

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

Answer 4

Это не ответ на вопрос, который вы задали, но если вы рассматриваете один коммерческий инструмент статического анализа, вам, вероятно, следует рассмотреть и инструменты статического анализа других компаний. См., Например, are-c-static-code-code-analyis-tools-it-it? . И я бы предложил добавить к вопросу тег «Статический анализ».