GitHub repository: nccgroup/xendbg
Primary language: C++
Description: A feature-complete reference implementation of a modern Xen VMI debugger.