我知道周围有很多用于 C# 或 .Net 的静态分析工具。请参阅此question 以获取可用工具的良好列表。我过去使用过其中的一些，它们有很好的检测问题的方法。
我目前正在寻找一种方法来自动执行我们团队中的一些锁定规则。例如，我想执行以下规则：
“每个使用成员 foo 的公共方法都必须在 bar 上获得一个锁” 或者 "每次调用 foobar 事件都必须在 bar 的外部锁定"
编写自定义 FxCop 规则，如果 feasible，似乎相当复杂。有没有更简单的方法呢？
【问题讨论】：
标签： c# .net multithreading static-analysis
多线程很难。使用锁并不是使操作线程安全的唯一方法。开发人员可以使用循环的非阻塞同步和 Interlocked.CompareExchange 或其他一些机制。规则无法确定某事是否是线程安全的。
如果规则的目的是确保高质量的代码，我认为最好的方法是为你的类创建一个易于使用的线程安全版本。检查更复杂的同步代码只有在了解多线程的开发人员的代码审查下才能修改。
【讨论】：
使用NDepend，您可以编写一个code rule over a LINQ query (CQLinq)，如下所示：
warnif count > 0 from m in Methods where
m.IsUsing ("YourNamespace.YourClass.foo") && (
! m.IsUsing ("YourNamespace.YourClass.bar") ||
! m.IsUsing ("System.Threading.Monitor.Enter(Object)".AllowNoMatch()) ||
! m.IsUsing ("System.Threading.Monitor.Exit(Object)".AllowNoMatch()) )
select new { m, m.NbLinesOfCode }
基本上它将匹配使用字段 foo、不使用字段 bar 或不调用 Monitor Enter 或 Exit 的方法。这并不完全是您所要求的，因为您想明确地锁定 bar，但这很简单而且非常接近。
注意你也可以写...
m.AssignField("YourNamespace.YourClass.foo")
... 限制 foo 上的特定写入/分配字段使用。
【讨论】：
一种可能的解决方案是实现Code Contracts。您定义规则，在编译时运行它们（如果有的话，也可以集成到您的 CI 环境中）并获得结果。
有关将 CodeContracts 用作代码静态分析工具的示例，请参阅：
【讨论】：
lock 语句。您可以使用其他类型的 sync 对象，以便能够检查对象是否已发出信号/锁定/...无论如何。
__get 字段访问时触发一个事件并检查您的规则。