So far, nobody has mentioned the author's C++ based race detection tool. Conceptually it is similar to Corensic's commercial product, Jinx (<a href="http://www.corensic.com" rel="nofollow">http://www.corensic.com</a>) but practically Jinx supports more languages, doesn't require recompilation, and is most likely much faster.