[OSDI] Debugger

• ptrace
• gdb (用ptrace API做)
• tutorial
• install on Mac (2 ways):
• brew install homebrew/dupes/gdb
• sudo port install gdb