Intel® Thread Checker is an analysis tool that pinpoints
hard-to-find threading errors like data races and
deadlocks in 32-bit and 64-bit applications. It can also
be integrated into an automated Quality Assurance/test
process to ensure code quality.

http://www.intel.com/