open_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827b7 (2012-12-10; be3860ba8df48c...

[hurd-web.git] / open_issues / code_analysis.mdwn

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index b390824..8c604e3 100644 (file)
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -137,11 +137,20 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
         <youpi> ah, no, the libthreads code properly sets the guard, just for
           grow-up stacks
 
-  * GCC's AddressSanitizer (ASan; `-faddress-sanitizer`)
+  * GCC's AddressSanitizer, a memory error detector (ASan;
+    `-fsanitize=address`)
 
     [Finding races and memory errors with GCC instrumentation
     (AddressSanitizer)](http://gcc.gnu.org/wiki/cauldron2012#Finding_races_and_memory_errors_with_GCC_instrumentation_.28AddressSanitizer.29),
-    GNU Tools Cauldron 2012.
+    GNU Tools Cauldron 2012.  <http://code.google.com/p/address-sanitizer/>.
+
+    Not yet [[ported to the Hurd|community/gsoc/project_ideas/gcc_asan]].
+
+  * GCC's ThreadSanitizer, a data race detector (TSan; `-fsanitize=thread`)
+
+    <http://code.google.com/p/data-race-test/wiki/ThreadSanitizer>
+
+    Not yet [[ported to the Hurd|community/gsoc/project_ideas/gcc_asan]].
 
   * Input fuzzing