From a61e4bc35f25bc361cde5a973334424c0c1fc5bf Mon Sep 17 00:00:00 2001 From: Thomas Schwinge 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(-) 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 + + has anyone used splint on hurd? + this is tool for statically checking C programs + 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 - has anyone used splice on hurd? - splice -> splint - not that I know of - this is tool for statically checking C programs - seems I made it work - hm i realli i personnally dislike such tools a lot, but sometimes - it might help - hello hurd people - braunr: hello - mcsim: duma may be helpful as replacement for the memcheck part of - valgrind 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]]."]]"""]] yes, wired memory you'll have to change that in duma then but apart from such details, it should be straightforward + 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 (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 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(+) 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]]. + * * 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"]] + +## + + * [[!shortcut name=stackoverflow_question + url="http://http://stackoverflow.com/questions/%s" + desc="Stack Overflow question %s"]] -- cgit v1.2.3 From e5555eb2f988cf849f62fa6416475b1711fbdcb8 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Fri, 26 Oct 2012 22:19:23 +0200 Subject: hurd/running/debian/dhcp: Update. --- hurd/running/debian/dhcp.mdwn | 12 ++++++------ 1 file changed, 6 insertions(+), 6 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. -- cgit v1.2.3