From a61e4bc35f25bc361cde5a973334424c0c1fc5bf Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Tue, 23 Oct 2012 12:04:41 +0200
Subject: open_issues/code_analysis: Splint.

---
 open_issues/code_analysis.mdwn            |  8 ++++++++
 open_issues/code_analysis/discussion.mdwn | 12 +-----------
 2 files changed, 9 insertions(+), 11 deletions(-)

(limited to 'open_issues')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 00915651..f81af06e 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -85,6 +85,14 @@ 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
 
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
-- 
cgit v1.2.3


From 684f2997381cbcfc4f2bd66726f271fa30ca835c Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Fri, 26 Oct 2012 18:48:42 +0200
Subject: open_issues/code_analysis: glibc's libmcheck.

---
 open_issues/code_analysis.mdwn | 7 +++++++
 shortcuts.mdwn                 | 6 ++++++
 2 files changed, 13 insertions(+)

(limited to 'open_issues')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index f81af06e..4702fce6 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -98,6 +98,13 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
 
   * [[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/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"]]
-- 
cgit v1.2.3