Re: portseal - tools to locate port management bugs

2014-03-31 Thread Richard Braun
On Sun, Mar 30, 2014 at 07:40:50PM +0200, Justus Winter wrote: > here is another prototype of mine, also employing a > source-transformation, that can detect port leaks: Well, that's impressive, once more. Excellent job. -- Richard Braun

portseal - tools to locate port management bugs

2014-03-30 Thread 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/t