community/gsoc/project_ideas/gcc_asan -> open_issues/_san.
[hurd-web.git] / open_issues / code_analysis.mdwn
index 138f3d6..5219b01 100644 (file)
@@ -157,20 +157,8 @@ 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, 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.  <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]].
+  * GCC, LLVM/clang: [[Address Sanitizer (asan), Memory Sanitizer (msan),
+    Thread Sanitizer (tasn), Undefined Behavor Sanitizer (ubsan), ...|_san]]
 
   * [GCC plugins](http://gcc.gnu.org/wiki/plugins)