dbx can debug programs that have been completely stripped. These programs contain some information that can be used to debug your program, but only externally visible functions are available. Some runtime checking works on stripped programs or load objects. For example, memory use checking works and access checking works with code stripped with strip -x, but not with code stripped with strip.