Add libpinniped

1 files changed, 29 insertions, 0 deletions

diff --git a/README b/README
new file mode 100644
index 0000000..74aab4a
--- /dev/null
+++ b/README
@@ -0,0 +1,29 @@
+portseal - tools to locate port management bugs
+===============================================
+
+This is a collection of tools to find bugs related to Mach port
+handling like port leaks at runtime.
+
+libpinniped
+-----------
+
+libpinniped wraps port manipulation functions (i.e. the glibc
+wrappers) with the help of the dynamic linker.  If any of the wrapped
+functions fail, a message is written to stderr with a backtrace.
+
+% make -C libpinniped check
+make: Entering directory `.../portseal/libpinniped'
+LD_PRELOAD=./"libpinniped.so" ./test
+./test: mach_port_deallocate (1, 12345): (os/kern) invalid name
+./test(dosth+0x1b)[0x80486c8]
+./test(main+0xb)[0x80486f2]
+/lib/i386-gnu/libc.so.0.3(__libc_start_main+0xbc)[0x109169c]
+./test[0x80485d1]
+./test: mach_port_destroy (1, 54321): (os/kern) invalid name
+./test(dosthelse+0x1b)[0x80486e5]
+./test(main+0x10)[0x80486f7]
+/lib/i386-gnu/libc.so.0.3(__libc_start_main+0xbc)[0x109169c]
+./test[0x80485d1]
+make: Leaving directory `.../portseal/libpinniped'
+% addr2line -e libpinniped/test 0x80486c8
+.../portseal/libpinniped/test.c:24