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

Question

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

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

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

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

Answer 1

NDepend工具被引用为Quality Metric Tools，但它几乎也是Code违规检测工具。免责声明：我是该工具的开发人员之一使用NDepend，可以在LINQ查询（我们称之为CQLinq）上编写代码规则。超过200条CQLinq编码规则是默认设置的。CQLinq的优势在于可以直接编写代码规则并立即获得结果。建议设施浏览匹配的代码元素。例如：除此之外，NDepend还提供了许多其他静态分析功能。这些包括：智能技术债务估算依赖图依赖矩阵代码差异功能NDepend.API让你自己编写静态分析工具。使用NDepend.APi，我们甚至开发了一种检测代码重复的工具（此博客文章中的详细信息：查找.NET代码重复的原始算法）。

Answer 2

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