diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 1aefdb292d4..36711cba983 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -502,6 +502,20 @@ object-oriented programming, operator overloading and strong typing.
+ +ThreadSanitizer 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.
+ +