Не работал раньше с 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так вообще никаких предупреждений не выдалось. что я сделал не так? это вопрос к автору
Возможно в вашем коде нет ничего такого, что могла бы найти программа :)
Да, еще после окончания проверки, в левом списке с тестами, в скобках показывается сколько подозрительных мест найдено конкретным тестом, если все по нулям, то значит ничего не нашлось. Если не ноль, тогда можно выбрать этот тест и будет показано в каких файлах сработала проверка.