是否有工具可以分析 .NET 代码并查找竞争条件？
我有一些代码具有公共静态属性，可以获取或创建私有静态字段。它还有一个公共静态方法，将该字段设置为 null（...是的，我知道！..）
由于这两种方法都没有锁，所以可以肯定的是，将来事情会出现严重错误。我需要一个工具，它可以递归地遍历调用这些方法中的任何一个的东西，并查看是否在另一个线程上生成了任何东西。
我正在寻找一个工具或者可能是一个 nDepend SQL 脚本（如果可能的话）。
您可能正在寻找其中之一：
- CHESS http://research.microsoft.com/en-us/projects/chess/
- 类型模拟赛车手 http://site.typemock.com/typemock-racer-product/
NOTE：此答案来自 2010 年。与所有建议答案一样，建议往往会随着时间而变化。现在可能还有其他产品，CHESS（微软研究实验室的一个项目）可能已经发展成为最终产品，或者被完全废弃。请对这个答案持保留态度，并对哪些产品现在适合进行新的研究。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
