portseal - tools to locate port management bugs

[Justus Winter]

Hi :)

here is another prototype of mine, also employing a
source-transformation, that can detect port leaks:

allocated receive port 154
test-obj/test: leaked receive right 154
test-obj/test[0x8048c36]
test-obj/test[0x8048dcc]
/lib/i386-gnu/libc.so.0.3(__libc_start_main+0xbc)[0x10aa69c]
test-obj/test[0x8048811]

It is very young, I haven't used it on any non-trivial program yet.
Anyways, here it is:

http://darnassus.sceen.net/gitweb/teythoon/portseal.git

The README is a little light on the operation, but has some nice
screenshots (:

http://darnassus.sceen.net/gitweb/teythoon/portseal.git/blob/HEAD:/README

Cheers,
Justus