Merge remote-tracking branch 'kepler.SCHWINGE/master'

4 files changed, 28 insertions, 17 deletions

diff --git a/hurd/running/debian/dhcp.mdwn b/hurd/running/debian/dhcp.mdwn
index 8d351aae..afa46799 100644
--- a/hurd/running/debian/dhcp.mdwn
+++ b/hurd/running/debian/dhcp.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -10,16 +10,16 @@ License|/fdl]]."]]"""]]
 
 [[!tag open_issue_porting]]
 
-In order to use DHCP, you need to install the `ifup` and `isc-dhcp-client`
-packages, and manually create the following two symbolic links:
+In order to use DHCP, you need to install the `ifupdown` and `isc-dhcp-client`
+packages, and manually create the following symbolic link:
 
-    # ln -s ../rcS.d/S06ifupdown-clean ../rcS.d/S11networking /etc/rc.boot/
+    # ln -s ../rcS.d/S10networking /etc/rc.boot/
 
-During execution at boot time, the `S11networking` script will emit some error
+During execution at boot time, the `S10networking` script will emit some error
 messages while trying to configure the loopback interface.  These are not
 fatal.
 
-Debian GNU/Hurd doesn't currently execute's Debian standard `/etc/rcS.d/*` boot
+Debian GNU/Hurd doesn't currently execute Debian standard `/etc/rcS.d/*` boot
 scripts, but has its own `/libexec/rc` script -- which integrates scripts from
 `/etc/rc.boot/` instead.
 
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 f8a0657d..f6b1e8c1 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/shortcuts.mdwn b/shortcuts.mdwn
index 5afa106e..439caf33 100644
--- a/shortcuts.mdwn
+++ b/shortcuts.mdwn
@@ -104,3 +104,9 @@ ikiwiki will include your shortcut in the standard underlay.
   * [[!shortcut name=sourceware_bug
     url="http://sourceware.org/bugzilla/show_bug.cgi?id=%s"
     desc="sourceware.org bug #%s"]]
+
+## <http://stackoverflow.com/>
+
+  * [[!shortcut name=stackoverflow_question
+    url="http://http://stackoverflow.com/questions/%s"
+    desc="Stack Overflow question %s"]]