Symbolic debuggers are one of the most important tools in the programmer's toolkit, but also one of the most overlooked pieces of technology. They have to work in some of [...]