Static analysis tool to detect multithreading problems (deadlocks, race conditions, not-looped wait, etc.)
I am shopping for a STATIC ANALYSIS TOOL that can tell me if our code suffers from deadlocks, race conditions and bad practices in general.