Source level debugging on Arduino?
Yes, some AVRs provide JTAG which can be used with AVR-GDB to do source level debug.

http://winavr.sourceforge.net/AVR-GDB_and_AVaRICE_Guide.pdf

http://www.larsen-b.com/Article/315.html