При отладке исключительно полезной оказалась функция обратной трассировки, позволяющая восстановить последовательность команд (и значения регистров), приводящую к некоторой «неприятной» ситуации (ошибке). Обратная трассировка также основана на буферизации протокола и располагает простейшими возможностями поиска (например, найти команду, изменившую такой-то регистр). Учет особенностей системы команд микропроцессора (ни одна команда не изменяет более трех регистров) позволил минимизировать память, резервируемую в буфере для отображения команды.

Модификации других функций отладчика позволяют значительно сократить механическую работу пользователя при отладке программ.

Деассемблер. Деассемблер предназначен для восстановления исходного текста на языке Ассемблер МИКРОС86 из перемещаемых объектных модулей или по образам памяти.

Деассемблер предполагает априорное знание границ областей, содержащих коды, таблицы адресов, тексты сообщений, а также границы неинициализированных областей.

Границы областей дают деассемблеру возможность определить местоположение использующих вхождений (ИП). Поскольку контекст использующего вхождения может оказаться недостаточным для однозначного восстановления определяющего вхождения (ОВ) (например, к непосредственному операнду в коде команды приводят несколько семантически различных элементов языка Ассемблер: константа, смещение, абсолютный адрес в параграфах и т. п.), диапазоном значений ИП сопоставляется информация, обеспечивающая однозначное восстановление ОП.

Опыт эксплуатации деассемблера показал, что процесс установления правильных границ областей и диапазонов является быстро сходящимся и второе приближение, как правило, является окончательным.

Для обеспечения процесса разбора программ деассемблер включает разнообразные возможности полуавтоматического комментирования восстановленного текста.

Закомментированное вхождение будет появляться в тексте везде совместно с ассоциированным комментарием. Существует возможность включать комментарии в произвольное место вое станавливаемого текста (в частности, это могут быть операторы описания областей на языке Ассемблер).

Процесс разбора облегчается имеющейся в деассемблере возможностью генерации словаря перекрестных ссылок, содержащего для каждого ОВ все относящиеся к нему ИП с указанием источника каждого ИП и типа его использования. Различаются следующие ситуации: источник - получатель, скаляр - массив, метка - переменная и др.

Разбор семантики деассемблируемой программы рекомендуется проводить снизу - вверх, т. е. вначале комментировать наиболее часто встречающиеся процедуры самого нижнего уровня. В результате этого текст становится хорошо закомментированным. Опираясь на эти комментарии, уже значительно проще понять семантику процедур более высокого уровня.