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

Question

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

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

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

Answer 1

代码违规检测工具:

• 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 Prevent™适用于C#,商业产品
• PRQA QA·C#,商业产品
• PVS-Studio,商业产品
• CAT.NET,visual studio addin,有助于识别安全漏洞
• CodeIt.Right
• 规格#
• PEX

质量度量工具:

• NDepend,很棒的视觉工具.对代码度量,规则,差异,耦合和依赖性研究很有用.
• Nitriq,免费,可以轻松编写自己的指标/约束,良好的可视化.编辑2018年2月:下载链接现已死亡.
• 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#代码分析和重构功能

Answer 2

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

使用NDepend,可以在LINQ查询(我们称之为CQLinq)上编写代码规则.超过200条CQLinq编码规则是默认设置的.CQLinq的优势在于可以直接编写代码规则并立即获得结果.建议设施浏览匹配的代码元素.例如:

除此之外,NDepend还提供了许多其他静态分析功能.这些包括:

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