http://code.msdn.microsoft.com/sourceanalysis
StyleCop is a free static code analysis tool from Microsoft  that checks C# code for conformance to StyleCop's recommended coding styles and a subset of Microsoft's .NET Framework Design Guidelines. StyleCop analyzes the source code, allowing it to enforce a different set of rules from FxCop. The rules are classified into the following categories:

    * Documentation
    * Layout
    * Maintainability
    * Naming
    * Ordering
    * Readability
    * Spacing

StyleCop includes both GUI and command line versions of the tool. It is possible to create new rules to be used.
  1. [2010/06/04] [Video] Beautiful Code and Programming Discipline by Certifiedtest (1310)
  2. [2010/05/27] [Free] Astrée : a static program analyzer by V-star ()
  3. [2010/05/28] [Free] Frama-C : analysis of the source code of software written in C by Googler (2199)
  4. [2010/05/28] [Paid] Ada-ASSURED : Testing and reviewing for coding style by Googler ()
  5. [2010/05/27] [Paid] Vigilant Sentry : a static code analyzer for C/C++ *1 by NumLock ()