c# - 是否有任何静态代码分析工具可以查看可能导致死锁的潜在执行路径(C#)

Question

Visual Studio (2008) 是否有任何工具或插件可以遍历 C# 类并查找可能导致潜在死锁的可能场景？任何会寻找每个 lock (xxx) {} block 然后寻找其他方法调用导致该关键部分的方法并形成可能导致冲突的方法列表的任何东西。

Answer 1

我在 Java 工作中使用 Coverity，它在检测潜在死锁条件方面做得非常好。它应该也支持 C#，但没有针对任何代码运行它来验证其有效性。