3 files changed, 24 insertions, 11 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 00915651..4702fce6 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -85,11 +85,26 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
 
   * [Coverity](http://www.coverity.com/) (nonfree?)
 
+  * [Splint](http://www.splint.org/)
+
+      * IRC, freenode, #hurd, 2011-12-04
+
+            <mcsim> has anyone used splint on hurd?
+            <mcsim> this is tool for statically checking C programs
+            <mcsim> seems I made it work
+
 
 # Dynamic
 
   * [[community/gsoc/project_ideas/Valgrind]]
 
+  * glibc's `libmcheck`
+
+      * Used by GDB, for example.
+
+      * Is not thread-safe, [[!sourceware_bug 6547]], [[!sourceware_bug 9939]],
+        [[!sourceware_bug 12751]], [[!stackoverflow_question 314931]].
+
   * <http://en.wikipedia.org/wiki/Electric_Fence>
 
       * <http://sourceforge.net/projects/duma/>
diff --git a/open_issues/code_analysis/discussion.mdwn b/open_issues/code_analysis/discussion.mdwn
index 6f2acc08..7ac3beb1 100644
--- a/open_issues/code_analysis/discussion.mdwn
+++ b/open_issues/code_analysis/discussion.mdwn
@@ -15,17 +15,6 @@ License|/fdl]]."]]"""]]
 
 # IRC, freenode, #hurd, 2011-12-04
 
-    <mcsim> has anyone used splice on hurd?
-    <mcsim> splice -> splint
-    <youpi> not that I know of
-    <mcsim> this is tool for statically checking C programs
-    <mcsim> seems I made it work
-    <braunr> hm i realli i personnally dislike such tools a lot, but sometimes
-      it might help
-    <braunr> hello hurd people
-    <mcsim> braunr: hello
-    <braunr> mcsim: duma may be helpful as replacement for the memcheck part of
-      valgrind
     <mcsim> defpager uses it's own dynamic memory allocator, which uses
       vm_allocate/vm_deallocate as backing store? Am I able to use duma in such
       case?
@@ -38,6 +27,7 @@ License|/fdl]]."]]"""]]
     <mcsim> yes, wired memory
     <braunr> you'll have to change that in duma then
     <braunr> but apart from such details, it should be straightforward
+
     <antrik> braunr: I have no idea about duma; but if you think it's a useful
       tool, please add it to open_issues/code_analysis.mdwn
     <antrik> (I guess we should have a "proper" page listing useful debugging
diff --git a/open_issues/hurdextras.mdwn b/open_issues/hurdextras.mdwn
index f31802da..d4f9d1bc 100644
--- a/open_issues/hurdextras.mdwn
+++ b/open_issues/hurdextras.mdwn
@@ -46,12 +46,20 @@ tarball(s).
 
 # Not OK
 
+Sent email to all *NOK*s on 2012-07-14, asking for assignment.
+
+
 ## httpfs
 
   * Arun V. <arunsark@yahoo.com> -- NOK
   * Gopika U. K. <gopika78@yahoo.com> -- NOK
   * mrphython / James A. Morrison  <ja2morri@uwaterloo.ca> -- OK
 
+## ipc_guide
+
+  * Manuel Pavón Valderrama <mpavon@ugr.es> -- NOK
+  * <cp46tan@hotpop.com> -- NOK
+
 ## jfs
 
   * Sajith T S  <sajith@symonds.net> -- NOK