На сегодняшний день существует несколько средств, с помощью которого можно анализировать программный код.

JetBrains ReSharper

Наверное, самое мощное средство для рефакторинга на текущий момент.

ReSharper - это:

• Поддержка версий Visual Studio 2003, 2005, 2008, 2008 SP1
  
• Поддержка для C# 3.0 и LINQ
• Средства для автоматического создания аннотаций к библиотекам классов .NET Framework
• Code Cleanup модуль для приведения исходных текстов в единый формат
• Анализ кода
• Автогенерация кода, шаблоны
  
• Инструменты для тестирования программного кода

Перечень всех возможностей можно найти здесь. Используется для работы с C#, VB.NET, ASP.NET, XML, XAML, NAnt и MS Build скриптами. Последняя версия - 4.1.

Продукт платный, о ценах можно узнать здесь. Есть бесплатная лицензия "Classroom" для образовательных учреждений и тренеров.

Есть предпосылки (здесь и здесь), что ReSharper станет частью Visual Studio 2010 (?).

Официальный сайт

Скачать ReSharper

ReSharper - Википедия

Microsoft FxCop

Статический анализ кода на основании "Руководства по разработке библиотек классов". Правила можно отключать, делать custom dictionaries. FxCop включен в Visual Studio, но некоторые правила по умолчанию выключены, кроме того ряд ошибок студия отображает в виде предупреждения, что не мешает коду компилироваться и запускаться (в случае, если пользователь не установил флажок "Warning as Errors" в настройках проекта).

P.S. После использования FxCop в одном-двух проектах вы больше не сможете писать неправильно [:)]

FxCop - Wikipedia

Скачать Microsoft FxCop 1.36

FxCop Blog

А этот инструмент предназначен, прежде всего, для творческих и грамматически подкованных людей (а также для специалистов по написанию высокохудожественных комментариев, декораторов кода и т.д.), так как StyleCop не позволит вам "некрасиво" оформить ваш код, не поставить запятую в конце комментария или не написать предназначение конкретного класса. Другими словами, StypeCop проверяет стиль вашего кода.

StyleCop - Wikipedia

StyleCop om MSDN Code Library

StyleCop Blog

Скачать StyleCop

SubMain CodeIt.Right

CodeIt.Right от SubMain поднимает статический анализ кода на следующий уровень, позволяя автоматически преобразовывать нарушения правил в соответствующий им код. Подобно FxCop, CodeIt.Right поставляется с широким набором заранее определенных правил, основанном на ранее упомянутом документе с рекомендациями по проектированию, и способностью добавлять пользовательские правила. Но CodeIt.Right намного упрощает создание и использование последних.

P.S. Для тех, кто имеет свой неповторимый стиль написания кода (это относится, в первую очередь индийской и удаффкомовской программных школ), просьба описанные инструменты не беспокоить [:)].

Дополнительные ресурсы:

Code Analysis Team Blog

Code Analysis on MSDN