C#/.NET analysis tool to find race conditions/deadlocks

Question

Is there a tool that analyses .NET code and finds race conditions?

I have a bit of code that has a public static property that gets or creates a private static field. It also has a public static method that sets this field to null (...yes, I know!..)

As there are no locks around either of these methods, it's a safe bet that things'll go horribly wrong in the future. I need a tool that'll recursively go through things that call either of these methods and see if anything was spawned on another thread.

I'm looking for a tool or perhaps an nDepend SQL script (if this is possible).

Answer 1

You might want to check out CHESS.

HTH,
Kent

Answer 2

You're probably looking for one of these:

• CHESS
• Typemock Racer

Answer 3

Jinx will do this at runtime (not statically) but it may be worth looking at.

Answer 4

Have you looked at Red-Gate Ants? I'm not sure if it will do everything you need but it is a good product to:

• Identify performance bottlenecks within minutes
• Optimize .NET application performance
• Drill down to slow lines of code with line-level timings
• Profile aspx, ASP.NET, C# code, and VB.NET applications