哪些静态分析工具可用于C＃？[关闭]

有哪些工具可用于针对C＃代码进行静态分析？我知道FxCop和StyleCop。还有其他吗？我之前曾经碰过NStatic，但是它一直在开发中，似乎永远存在-从我所看到的内容来看，它看起来非常漂亮，因此，如果能看到今天的曙光，那就太好了。

沿着这些思路（主要是我对静态分析的兴趣），用于测试多线程问题（死锁，竞争条件等）的代码的工具似乎也很少。Typemock Racer刚刚弹出，所以我会看看。除此之外呢？

对于您使用过的工具的真实看法，我们将不胜感激。

代码违规检测工具：

• Fxcop，Microsoft的优秀工具。检查是否符合.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，类似于基于Mono.Cecil的 Fxcop和Gendarme 。不再进行开发，主要开发人员现在与Gendarme团队合作。
• 用于C＃的Coverity Prevent™，商业产品
• PRQA QA·C＃，商品
• PVS-Studio，商业产品
• CAT.NET，Visual Studio插件，可帮助识别安全漏洞编辑2019年11月：链接已死。
• CodeIt.Right
• 规格＃
• Pex

质量指标工具：

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

检查样式工具：

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

复制检测：

• Simian，基于源代码。支持多种语言。
• CloneDR，仅在语言边界上检测参数化克隆（也可处理C＃以外的许多语言）
• 克隆侦探 Visual Studio插件。（它在内部使用ConQAT）
• Atomiq，基于源代码，多种语言和出色的 “车轮”可视化

通用重构工具

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

NDepend工具被称为“ 质量度量工具”，但它几乎也是代码违规检测工具。免责声明：我是该工具的开发人员之一

使用NDepend，可以通过LINQ查询（我们称为CQLinq）编写代码规则。超过200条CQLinq编码规则是默认设置的。CQLinq的优势在于，编写代码规则非常容易，并且可以立即获得结果。建议使用一些工具来浏览匹配的代码元素。例如：

除此之外，NDepend还附带了许多其他静态分析（如功能）。这些包括：

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

• Gendarme是一个基于开源规则的静态分析器（类似于FXCop，但是发现很多不同的问题）。
• Clone Detective是一个很好的Visual Studio插件，可以找到重复的代码。
• 谈到Mono，我发现使用Mono编译器进行编译的行为（如果您的代码具有足够的平台无关性，无论如何，您可能都希望达到一个目标）会发现大量未引用的变量以及Visual Studio完全错过的其他警告。 （即使将警告级别设置为4）。

您看过CAT.NET吗？

从简介-

CAT.NET是一个二进制代码分析工具，可帮助识别某些常见漏洞的常见变体，这些常见漏洞可引起常见的攻击媒介，例如跨站点脚本（XSS），SQL注入和XPath注入。

我使用了早期的Beta版，它确实发现了一些值得一看的东西。

除了madgnome列出的出色清单之外，我还将添加一个基于命令行的重复代码检测器（但是免费的）：

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

Klocwork具有用于C＃的静态分析工具：http : //www.klocwork.com

我发现Reflector 的代码度量标准和依赖关系结构矩阵加载项非常有用。

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

它支持包括C＃在内的多种语言，有关更多信息，请访问wwww.optimyth.com。

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

它提供以下功能：

• 软件构架可视化（包括依赖项）
• 实施架构规则，例如分层，子系统，调用规则
• 克隆检测-突出显示复制和粘贴（以及修改的代码）
• 死码检测
• 循环检测
• 软件指标
• 代码样式检查

这些功能可以一次性运行，也可以作为持续集成过程的一部分运行。当系统与源代码控制系统集成时，可以按项目或按开发人员突出显示问题。