проФорт

Реальный пример - отлов бага #2035259.

В верхнем окне gdb (GNU debugger) препарирует упавший spf, в левом нижнем открыт исходный код на подозрении, в правом нижнем запущена рабочая версия spf.

Сам spf стек исключений не показывает - т.е. умирает очень нехорошим образом, а gdb показывает только адреса, т.к. никакой символьной отладочной информации нет. Но ведь мы можем сами сэмулировать работу spf когда он пишет стек исключения. Всё очень просто - магическое слово WordByAddr ( addr -- a u ) выполнит всю грязную работу и скажет определение какого слова накрывает заданный адрес. Более того, адреса слов ядра одинаковы для разных загруженных экземпляров одного и того же исполнимого модуля, поэтому можно просто копировать адреса из сессии gdb в рабочую версию spf и выполнять : q PARSE-NAME WordByAddr TYPE ;.

Раньше в таких случаях я в самом отладчике смотрел память вокруг адреса в поисках словарной статьи и узнавал имя слова. Этот способ я подсмотрел у ruvim'а в forth@c.j.r, когда он по сырому дампу стека в чате сходу сказал слово. Магия

ЗЫ Слово WordByAddr существует только для отладочных целей и использовать его в штатной ситуации не стоит (большие накладные расходы).
ЗЫЫ Кстати формат символьной информации в ELF документирован и хорошо было бы иметь возможность включить его в бинарник в подобных случаях. В Windows символьная информация хранится в pdb файлах, а DiaSDK даёт интерфейсы только на чтение. Хотя некоторая информация о внутренностях всё-таки есть.