Статический анализатор кода

Всем привет! Сразу извиняюсь за то, что создал тему не в том форуме ( не знал, где ее можно создать, ибо очевидного форума про такие программы не нашел ).
И еще, хочу извинится за глупые, "нубские" вопросы, а их здесь будет, по-моему мнению, много, потому что не имею никакого опыта в этом деле.
В общем установил я Keil uVision 5, установил PC-Lint 9.00a (cracked) (работать буду по MISRA C 2004), "прикрутил" PC-Lint к Keil'у через Tools->PC-Lint Setup.
Всякие первоначальные настройки я сделал через CONFIG.exe в папке с PC-Lint, но и то с большим трудом, потому что, как я уже говорил ранее, абсолютно не понимаю что к чему.
Но в чем же проблема? А проблема в следующем, когда запускаю lint-nt.exe (главный файл), выскакивает окно, скриншот которого я прикрепил снизу. Ясное дело, что это более детальные настройки, но как в них разобраться, прочитать более детально, о чем в каждом пишется, перерыл кучу форумов и документаций в надежде найти хоть что-то, но в большинстве случаев я столкнулся с 2-мя проблемами: первая - недостаточное знание английского языка, а точнее "технической" его части, вторая - попросту в документе или на сайте не было ничего полезного.
Вот и решил написать сюда, может кто-то имел опыт работы с этой программой или может посоветовать хоть что-нибудь полезное по этой теме.
Выбрал именно PC-Lint потому, что, насколько я понял, он единственный, кого поддерживает Keil. Если я ошибаюсь - прошу написать.
Заранее спасибо.

Миниатюры

 

0

Сообщение от Houston PC-Lint

В поставке уже должны быть готовые профили для MISRA - используйте как образец. + также в комплекте должен быть PDF-manual от Gimpel Software.

0

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

Добавлено через 51 минуту
И еще, когда в самом Keil нажимаю "проверить файл", то пишет:
Running PC-Lint...
PC-lint for C/C++ (NT) Vers. 9.00a, Copyright Gimpel Software 1985-2008
И больше ничего, а по идее должно чекнуть на правила.

Добавлено через 6 минут
Может, кто-нибудь поможет с полной установкой и настройкой PC-Lint с нуля. Буду ну оочень благодарен.

Добавлено через 9 минут
Так же обнаружил, что при проверке через файл LIN.bat окно открывается и тут же закрывается, с чем это связано?

0

Сообщение от Houston И больше ничего

Это консольная утилита. Она принимает командную строку и выводит отчет в stdout (если он не перенаправлен).
Все настройки описаны в документации - читайте PC-lint.pdf

1

В директории нету этого файла и поиск ничего не выдает, такое чувство, что Линт не проверяет файл на ошибки, то-есть возникает ошибка сразу после запуска, может быть я при установках конфигурации не правильно указал что-то. Сейчас на работе, вечером опишу детально что, где и как выбирал.

0

Запустите, сначала, CONFIG.exe. Укажите правильные пути итд. Проверьте, что каталог Lint прописан в %path%, и что файл std.lnt корректно указывает на %include% директорию вашего компилятора.

Вложения

PC-lint.pdf.7z (2.02 Мб, 8 просмотров)

0

Запустите, сначала, CONFIG.exe. Укажите правильные пути итд. Проверьте, что каталог Lint прописан в %path%, и что файл std.lnt корректно указывает на %include% директорию вашего компилятора.

А где, собственно, находиться, компилирующий файл Keil`a? Сколько искал-искал - нигде не нашел никакой информации.

0

Моя пошаговая настройка Lint через файл Config.exe.
Я так понимаю на 7 скриншоте, который с кнопочкой "Browse", нужно указать путь к компилятору Keil, но я нигде не нашел информации об его местонахождении. Библиотеки вроде бы указал правильно, хотя уже не помню, какие Keil использует, но код на Keil пишется на С.

Миниатюры

     

     

     

 

0

Настройки в самом Keil.
Первый скриншот - его настройки.
Второй - используем Tools - >Set up PC-Lint.
Здесь и здесь пишет, как установить, а во второй ссылку снизу показан результат запуска PC-Lint в Keil, то-есть в Output Window должны быть показаны ошибки, а не отдельно в файле или консоли.

Миниатюры

 

Изображения

 

0

Только что в настройках Lint в самом Keil в "Configuration File" выбрал "co-kcarm.lnt" и вроде бы заработало.
Но нужно include прикрепить, а то ругается на него.

Миниатюры

 

0

Про Keil ничего не знаю. Если он поддерживает pipes, то можете перенаправить вывод Lint ему. Если нет - сохраняйте во временный файл.

Добавлено через 2 минуты

Сообщение от Houston include прикрепить

Задается строчкой в std.lnt, ключ -i (-i"full path to include directory").

0

Задается строчкой в std.lnt, ключ -i (-i"full path to include directory").

Сделал, как Вы сказали, прописав в нем путь к папке с файлами, но все равно ошибка вылазит.

Миниатюры

 

0

А где находится сам этот time.h?

Если не в %include%, то можно прописать полный путь к нему (или относительный - по отношению к C-файлу, в который он включается).

0

Сообщение от gazlan А где находится сам этот time.h?

У меня он находится по пути: C:\Keil_v5\ARM\ARMCC\include.

0

И именно этот путь в двойных кавычках указан в ключе -i (без пробела после i)?

Сам std.lnt должен лежать либо в каталоге программы, либо в текущей директории - проверьте. Попрбуйте пересоздать его, используя CONFIG.exe

0

Именно так.

Миниатюры

 

0

На вид, все ОК. А если заменить угловые скобки на двойные кавычки: "time.h"? Прописать полный путь?

Если ошибка на первом же С файле, то что-то не так в настройках - не видит сам %include%. Убедитесь, что std лежит в каталоге Lint и не перекрывается локальными настройками в других каталогах/других lnt-файлах.

0

Пробовал по-разному прописывать и с кавычками и с угловыми скобками и без расширения файла, как угодно.
Прописал полный путь (надеюсь правильно, а то не приходилось), результат на скриншоте. Ошибка вроде бы пропала. То-есть, по сути, std-файл, не видит директории?

Миниатюры

 

0

Меня еще "Error 40" волнует, документация Lint`a говорит следующее:

Undeclared identifier 'Name' -- Within an expression, an identifier was encountered that had not previously been declared and was not followed by a left parenthesis. Name is the name of the identifier.

0

Сообщение от Houston по сути, std-файл, не видит директории?

Угу. С этим и надо разбираться. Как я понимаю, %include% директория единственная? Посмотрите, нет ли где еще другого std.lnt в пути поиска и в текущем каталоге, убедитесь еще раз, что путь прописан корректно, что std-файл заканчивается пустой строкой (мало ли), добавьте в %path% сам каталог c:\lint. Других идей нет...

0