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?
<braunr> you will have to adapt it
<braunr> but it's already designed to handle custom allocators
<braunr> iirc
<braunr> btw, are there special flags for that memory which the pager
  allocates ?
<braunr> e.g. to use wired memory ?
<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
  tools...)