contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches.
[hurd-web.git] / open_issues / code_analysis.mdwn
index 5219b01..bdd2ae1 100644 (file)
@@ -57,6 +57,10 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
 
       * <http://www.google.com/search?q=coccinelle+analysis>
 
+    Has already been used for finding and fixing [[!message-id desc="double
+    mutex unlocking issues"
+    "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]].
+
   * [clang](http://www.google.com/search?q=clang+analysis)
 
   * [Linux' sparse](https://sparse.wiki.kernel.org/)