</div>
+<!--=========================================================================-->
+<h3>ThreadSanitizer</h3>
+
+<div>
+
+<p><a href="http://code.google.com/p/data-race-test/">ThreadSanitizer</a> is a
+ data race detector for (mostly) C and C++ code, available for Linux, Mac OS
+ and Windows. On different systems, we use binary instrumentation frameworks
+ (Valgrind, Pin and DynamoRio) as frontends that generate the program events
+ for the race detection algorithm. On Linux, there's an option of using
+ LLVM-based compile-time instrumentation.</p>
+
+</div>
+
<!--=========================================================================-->
<h3>The ZooLib C++ Cross-Platform Application Framework</h3>