C＃有哪些静态分析工具？

What static analysis tools are available for C#?

哪些工具可用于针对C＃代码进行静态分析？我知道FxCop和StyleCop。还有其他人吗？我之前遇到过NStatic，但它一直处于开发状态，看起来像是永远的 - 它看起来很漂亮，看起来很少见，所以如果它能看到光明的一天会很好。

沿着这些相同的路线(这主要是我对静态分析的兴趣)，用于测试多线程问题(死锁，竞争条件等)代码的工具似乎也有点稀缺。刚出现了Typemock Racer，所以我会看着它。除此之外还有什么？

关于您使用的工具的现实意见表示赞赏。

代码违规检测工具：

Fxcop，微软的优秀工具。检查是否符合.net框架准则。

编辑2010年10月：不再作为独立下载提供。它现在包含在Windows SDK中，安装后可以在Program Files Microsoft SDKs Windows [v7.1] Bin FXCop FxCopSetup.exe中找到

编辑2018年2月：此功能现已集成到Visual Studio 2012中，稍后作为代码分析
Clocksharp，基于代码源分析(到C＃2.0)
Mono.Gendarme，类似于Fxcop但具有开源许可证(基于Mono.Cecil)
Smokey，类似于Fxcop和Gendarme，基于Mono.Cecil。不再开发，主要开发人员现在与Gendarme团队合作。
Coverity预防？对于C＃，商业产品
PRQA QA·C＃，商业产品
PVS-Studio，商业产品
CAT.NET，visual studio addin，有助于识别安全漏洞
CodeIt.Right
规格＃
PEX

质量度量工具：

NDepend，很棒的视觉工具。对代码度量，规则，差异，耦合和依赖性研究很有用。
Nitriq，免费，可以轻松编写自己的指标/约束，良好的可视化。编辑2018年2月：下载链接现已死亡。编辑2019年6月17日：链接没有死。
RSM Squared，基于代码源分析
C＃指标，使用完整的C＃解析
SourceMonitor，一种偶尔会获得更新的旧工具
代码度量标准，一个Reflector加载项
Vil，不支持.NET 2.0的旧工具。编辑2018年1月：链接现已死亡

检查样式工具：

StyleCop，Microsoft工具(从Visual Studio内部运行或集成到MSBuild项目中)。也可用作Visual Studio 2015和C＃6.0的扩展
Agent Smith，ReSharper的代码样式验证插件

复制检测：

Simian，基于源代码。适用于大量语言。
CloneDR仅检测语言边界上的参数化克隆(还处理除C＃以外的许多语言)
克隆侦探一个Visual Studio插件。 (它在内部使用ConQAT)
Atomiq，基于源代码，丰富的语言，酷炫的"轮子"可视化

一般重构工具

ReSharper - 非常酷的C＃代码分析和重构功能

NDepend工具被引用为Quality Metric Tools，但它几乎也是Code违规检测工具。免责声明：我是该工具的开发人员之一

使用NDepend，可以在LINQ查询(我们称之为CQLinq)上编写代码规则。默认情况下，建议使用200多个CQLinq代码规则。 CQLinq的优势在于可以直接编写代码规则并立即获得结果。建议设施浏览匹配的代码元素。例如：

CQLinq code rule

除此之外，NDepend还提供了许多其他静态分析功能。这些包括：

智能技术债务估算
依赖图
依赖矩阵
代码差异功能
NDepend.API让你自己编写静态分析工具。使用NDepend.APi，我们甚至开发了一种检测代码重复的工具(此博客文章中的详细信息：查找.NET代码重复的原始算法)。

你见过CAT.NET吗？

从模糊 -

CAT.NET is a binary code analysis tool
that helps identify common variants of
certain prevailing vulnerabilities
that can give rise to common attack
vectors such as Cross-Site Scripting
(XSS), SQL Injection and XPath
Injection.

我使用了早期的测试版，似乎确实有一些值得关注的事情。

Gendarme是一个基于开源规则的静态分析器(类似于FXCop，但发现了很多不同的问题)。
Clone Detective是Visual Studio的一个很好的插件，可以找到重复的代码。
还谈到Mono，我发现使用Mono编译器进行编译的行为(如果你的代码与平台无关，那么你可能想要争取的目标)找到大量未引用的变量以及Visual Studio完全错过的其他警告(即使警告级别设置为4)。

除了madgnome的优秀列表之外，我还会添加一个基于命令行的重复代码检测器(但是是免费的)：

http://sourceforge.net/projects/duplo/

Optimyth Software刚刚在云端www.checkinginthecloud.com上推出了静态分析服务。只需安全上传您的代码即可运行分析并获得结果。没有麻烦。

它支持多种语言，包括C＃更多信息，请访问wwww.optimyth.com

Klocwork为C＃提供了一个静态分析工具：http：//www.klocwork.com

Axivion Bauhaus Suite是一个静态分析工具，可与C＃(以及C，C ++和Java)一起使用。

它提供以下功能：