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
