<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>
+ (Valgrind and Pin) 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>