Package: icedove-dbg

"icedove-dbg" package binaries on Debian:

/usr/lib/debug/usr/lib/icedove-devel/sdk/bin/xpcshell

You may install this package on Debian with apt-get install icedove-dbg