У меня было сделано несколько проверок кода, написанного на Delphi, решил оформить их в виде программки, вдруг кому-нибудь пригодится :)
Выложил здесь

P.S. Дизайном и оформлением не особо заморачивался.

АнатоЛойИз багов: " to 0" ищет даже в комментариях :). Возможно, и другие проверки этим грешат.

Да, сейчас комментарии не игнорятся во всех проверках.

АнатоЛой1) таки выбор каталога стоит прикрутить;

Хорошая идея.

АнатоЛой2) стоит предусмотреть анти-чекер, например, вид комментария в строке а-ля


Иначе тяжело отсеивать новые из кучи ранее известных проблем, которые на поверку оказались идеальным кодом.
После чего можно:
а) или добавить ещё одну опцию, сброшенную по умолчанию: "Игнорировать анти-чекер";
б) или добавить ещё один вид тестов: "Искать строки с анти-чекером".
У меня есть другая идея. Чтобы в программе можно было выбрать для игнорирования какое-нибудь сообщение, и чтобы программа запомнила эту строчку вместе с ближайшим окружением (например десять строк сверху и снизу от нее). При следующей проверке будет проверяться, если для какой-то ошибки строчка и ее окружение совпадает со списком игнорируемых, то не показывать эту ошибку.

Вообще у меня времени мало, чтобы этим заниматься. Может быть в выходные займусь.

АнатоЛойИз багов: " to 0" ищет даже в комментариях :). Возможно, и другие проверки этим грешат.

Сделал, чтобы комментарии при проверке не учитывались

АнатоЛойИз фич:
1) таки выбор каталога стоит прикрутить;
Прикрутил :)

АнатоЛой2) стоит предусмотреть анти-чекер, например, вид комментария в строке а-ля
[src delphi]
//[ANTI_CHECKER:DOUBLED_LINE] THIS LINE IS REALLY CORRECT!

Анти-чекер пока не стал делать.

Выложил новую версию здесь

wadmanВот только запустил и сразу виден мелкий недочет: как прочитать весь текст у чекбоксов? Ни хинта, ни сплиттера... :(
Согласен. Пожалуй сделаю сплиттер :)

wadmanДалее: нумерация строк не совпадает, выдает номер следующей строки.
Я у себя не замечал. Можно примерчик какой-нибудь?

wadmanЧем так плох sleep, на который он тоже ругается?
У нас некоторые товарищи ставят sleep просто для отладки, чтобы на них можно было брейкпоинты ставить, а потом забывают убрать. Поэтому и сделал, чтобы они искались.

wadmanП.С. И эта... Выделения - это несколько из другой оперы.
В смысле красным? Я делал по аналогии с Дельфой, она тоже красным выделяет ошибки.

wadmanНо идея хороша! Спасибо!
Пожалуйста :)

Dmitry ArefievНатравил на AnyDAC:
1) "Пустая секция except". Если в секции стоит коментарий, например "// silent" или "// nothing",
то видать так оно и нужно. Нужна настройка - пустая без коментариев, пустая без кода.
2) Окно кода позволяет редактировать. Неплохо иметь возможность сохранить изменения.
3) "После пары строк идет точно такая же пара". Выдается, например на:


В данном случае IFDEF / ENDIF позволяет вложение. Ругаться на это точно не надо -
компилятор и так скажет. В большинстве остальных случаев срабатывания ложные.
Одно сообщение на сотню оказалось правильным :)
Согласен. Насчет того, что много ложных срабатываний - это да. Я исключаю из проверки некоторые случаи, которые точно правильные, этот тоже добавлю. К сожалению все исключить не получится. Но я в наших проектах так нашел несколько ошибок.
Кстати, я не все проверки включил в публичную версию, просто там еще больше ложных срабатываний :)

Yed2. Орфография единицы измерения не понимает
А какие именно? Проверил 'кг', 'см', 'гр', 'м'. На них не ругается.
На остальные вопросы уже ответил.

YedAKdominatorА какие именно? Проверил 'кг', 'см', 'гр', 'м'. На них не ругается.
На остальные вопросы уже ответил.

В моем случае не понял литры (л.).
Вот еще слова и общепринятые сокращения, которые можно добавить в словарь:
н/д
банкомат
Автомагазин
Вкл.
Выкл.
Автомойка
Шиномонтаж
ОК
пикс.

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

wadmanAKdominatorЯ у себя не замечал. Можно примерчик какой-нибудь?
См. рисунок.
Чёта я ступил. Спасибо, исправлю.

wadmanВ смысле названия кнопки "Выделить все". Над этим (точнее над аналогичным названием кнопки) девушки ржали долго Заменить-бы на "Отметить" или на что-то подобное. Но это моя придирка, связанная с моим прошлым. :)
Не вижу тут ничего странного. Например, в uTorrent'е тоже есть кнопка "Выделить все". В принципе я не против переименования, только не знаю как обратную операцию назвать. "Разотметить", "Снять отметки" - как-то странно звучит.

Bitbucketдаешь программу на Bitbucket !
Не могу исходники открыть, потому что использую чужие модули.

Выпустил новую версию. Скачать можно здесь
Всем спасибо за замечания! :)

Не работал раньше с FxCop. Сейчас посмотрел на Википедии, похоже у них подход немного другой. Я анализирую исходные коды, а они компилированный объектный код.
Предупреждений действительно много выдается. Пытаюсь сократить, оставив только нужное

Выпустил новую версию программы CodeVerifier - 0.4

Список изменений:
Добавлен тест "Деструктор не содержит в себе inherited". Отсутствие inherited в деструкторе означает, что не будет вызван деструктор предка - это может приводить к утечкам памяти ли неправильной работе программы.

Добавлен тест "Проверка расположения компонентов друг относительно друга". Он проверяет небольшие сдвиги компонентов одного типа друг относительно друга.

Добавлен тест "Поиск создания Exception'ов без ключевого слова raise". Отсутствие ключевого слова raise перед созданием исключения может означать, что исключение не будет возбуждено, выполнение программы не прервется, а созданный объект исключения останется висеть в памяти.

Скачать можно здесь

YedСпасибо. Может Вы отдельную ветку создадите, для удобства?
Я наверное лучше блог заведу.

inherited Destroyinherited Destroy - неправильно отрабатывает
А что неправильно? Можете пример привести?

inherited DestroyЕсли в деструкторе написано не просто inherited, а inherited Destroy, то выдается сообщение, что в деструкторе не указан inherited. А он есть.
Это скорее всего не из-за того, что написан Destroy, я делал, чтобы такие случаи учитывались. Наверное парсер неправильно определил где заканчивается деструктор. Можете привести пример содержимого деструктора?

inherited DestroyНу или вот





Если Exception.Create не находится на одной строке с raise, матюкается на использование Exception без raise
Тоже связано с хреновым парсингом. Попробую прикрутить Castalia Delphi Parser, должно стать лучше.

inherited Destroy


Тут перед inherited TAB стоит, из-за этого не работало. Спасибо. Исправил.

Выпустил новую версию 0.5
Изменения в новой версии:
Добавлен тест "Поиск некорректного создания объектов". Он находит ошибки типа "VarName := VarName.Create", а также создание объектов, которые никому не присваиваются. Возможны ложные срабатывания, например, при вызове Create у record'ов, у потоков и у объектов, владелец которых сам передается конструктор.

Добавлен тест "Проверка того, что после после then, do и т.д. нет нескольких значимых строчек, выровненных по одному уровню". Для корректной работы теста нужно, чтобы код был оформлен в стандартном стиле Delphi.

Добавлен тест "Проверяет, чтобы в функции Format и подобных, количество параметров в строке совпадало с количеством передаваемых параметров."

В нескольких тестах устранены ложные срабатывания.

Исправлены ошибки, выявленные в работе программы.

Теперь информацию о выходе новых версий и о других изменениях буду выкладывать в блоге http://ak-coder.blogspot.ru/] http://ak-coder.blogspot.ru/

Да, такой тест тоже есть. Тоже напарывался на такую ошибку :)

Что-то на долго забросил проект CodeVerifier'а. Но вот появилось время заняться им опять.

Изменения в версии 0.6:
- Добавлен тест "Проверка правильности использования except в транзакциях".
- Добавлен тест "Проверка отсутствия Exit внутри try ... Commit...; except".
- Добавлен тест "Поиск неиспользуемых процедур и функций" он ищет процедуры и функции, описанные в implementation части и не используемые ниже.
- Добавлен тест "Поиск неиспользуемых переменных" он ищет переменные, описанные в implementation части и не встречающиеся ниже.
- Добавлен тест "Проверка наличия const или out модификатора у String аргумента процедур и функций".
- Добавлен тест "Поиск вызова Create не от типа, а от переменой (тип определяется по формальным признакам вроде префикса "T")".
- Добавлен тест "Возможно, вместо изменения массива через SetLength можно изменить его через Delete"
- Добавлен тест "Проверка на соответствие параметров компонентов форм".
- Теперь после проверки в списке тестов показывается сколько было найдено ошибок в конкретном тесте. При щелчке по тесту показываются отчеты именно этого теста.
- Доработаны некоторые существующие тесты.
- Исправлены ошибки, выявленные в работе программы.

Новую версию можно скачать здесь

asutp2AKdominator,

вообще непонятно как работает. Файлы из указываемого каталога не видит.
Написал вручную A := A; , никаких предупреждений нет

Конкретно при проверке на равенство левой и правой частей неравенства делается так:
1) отбрасываются все комментарии в файле.
2) в каждой строке проверяемого файла ищется первое вхождение ":=".
3) если нашлось, и строка заканчивается на ";", тогда берется подстрока слева от присваивания и делается ей trim
потом берется подстрока справа от присваивания без учета последнего символа и делается ей trim
4) полученные подстроки сравниваются. Если одинаковые, то заносятся в отчет.

Я думаю проблема могла быть? если после точки с запятой были пробелы. Сейчас сделал чтобы для проверяемой строки тоже сразу делался trim. Так что теперь такого быть не должно.


asutp2так вообще никаких предупреждений не выдалось. что я сделал не так? это вопрос к автору
Возможно в вашем коде нет ничего такого, что могла бы найти программа :)
Да, еще после окончания проверки, в левом списке с тестами, в скобках показывается сколько подозрительных мест найдено конкретным тестом, если все по нулям, то значит ничего не нашлось. Если не ноль, тогда можно выбрать этот тест и будет показано в каких файлах сработала проверка.

makhaonпосмотрел. хорошо, как для фришного. с хотелками есть смысл обращаться?
Есть смысл. Что смогу - то сделаю :)