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/discussion.mdwn | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'open_issues/code_analysis/discussion.mdwn') 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