是否有任何静态代码分析工具可以查看可能导致死锁的潜在执行路径（C＃）

Question

Visual Studio（2008）是否有任何工具或插件可以通过C＃类查找可能导致潜在死锁的可能情况？任何会找出每个锁（xxx）{}块然后寻找其他方法来调用导致该关键部分的方法并形成可能导致冲突的方法列表。

Answer 1

我在使用Coverity工作时使用了Java，它在检测潜在的死锁条件方面表现非常出色。它也应该支持C＃，但是没有针对任何代码运行它来验证它的有效性。

Answer 2

来自Microsoft devlabs的CHESS（http://msdn.microsoft.com/en-us/devlabs/cc950526.aspx）怎么样？我还没玩过它，但它看起来可能对你的问题有帮助。

Answer 3

Typemock制作一个名为Typemock Racer的产品，但它不是免费的，我不相信它会进行静态分析。我认为它会对您的代码进行分析，找到会导致死锁的条件并为您提供一个测试，该测试将重现这些条件，以便您可以调试并修复它并进行测试以确保它不会再次返回。