There was a debugger posted here to HN awhile back that actually displayed structs and pointers graphically. What was the name of that project, and is it still around? I was trying to find it the other day. I thought that was a dynamite tool for students.
With LLVM, we should be able to have a REPL for C. as a pedagogical tool.