cdb is a machine-independent debugger for C programs compiled by lcc 4.x, a retargetable compiler for ANSI/ISO Standard C. The original version of cdb is described in the paper
D. R. Hanson and M. Raghavachari, A Machine-Independent Debugger,
SoftwarePractice and Experience 26 (11), 1277-1299, Nov. 1996. PDF (355 KB); Talk slides PDF (110KB)
The latest version, 3.1, is described in
D. R. Hanson, A Machine-Independent DebuggerRevisited,
SoftwarePractice and Experience 29 (10), 849-862, Aug. 1999. PDF (67 KB)
cdb is hosted at code.google.com/p/cdb/.
Here's what else is available: