Дизасм DECOBJ

DECOBJ - программа для RT-11, позволяет по объектному модулю (.OBJ) получить его дизасм.
Сама DECOBJ написана на Паскале, исходников нет.

Я сделал дизасм DECOBJ - разобрал где какие модули Паскаля, откоментировал использование паскалевских вызовов в основном коде.
Полученный DECOBJ.MAC компилируется байт-в-байт в тот же SAV файл.
https://github.com/nzeemin/uknc-vari...OBJ/DECOBJ.MAC

UPDATE:
Ассемблерный код раскодирован в исходник на Паскале, силами Alex_K и меня:
https://github.com/nzeemin/uknc-vari.../DECOBJ-PASCAL

Начал где-то год назад или чуть более также дизассемблировать DECOBJ. Сделал много, но завяз. Довольно сложные типы переменных, много множеств. Выкладываю то, что успел сделать. Может пригодится.

Цитата:

---

Сообщение от Alex_K

Начал где-то год назад или чуть более также дизассемблировать DECOBJ. Сделал много, но завяз. Довольно сложные типы переменных, много множеств. Выкладываю то, что успел сделать. Может пригодится.

---

Спасибо, это большой труд. Буду изучать.

Восстановленный исходник на Паскале будет тут:
https://github.com/nzeemin/uknc-vari...CAL/DECOBJ.PAS

Цитата:

---

Сообщение от nzeemin

Восстановленный исходник на Паскале будет тут:
https://github.com/nzeemin/uknc-vari...CAL/DECOBJ.PAS

---

Не надо там тип PRECF, надо аргумент в процедурах описать со словом var. Это как раз означает передачу не по значению, а по ссылке.
И кстать этот DECOBJ слинкован очень интересно. Сначала идут два внешних модуля, а уже потом основной.

Что-то типа такого:

Код:

---

procedure L01000;
var DEVSPC: array [0..38] of integer;
    DEFEXT: array [1..4] of integer;
    I: integer;
begin
 for I:=1 to 4 do
  DEFEXT[I]:=0;
{$C
    MOV    SP, R2
    ADD    #DEVSPC, R2
    MOV    SP, R3
    ADD    #DEFEXT, R3
    MOV    #^ROBJ, @R3
    MOV    #^RMAC, 2(R3)
    .MCALL    .RCTRLO
    .RCTRLO
    MOV    #^O1000,@#^O46
    MOV    SP, R1
    .MCALL    .CSIGEN
1$:    .CSIGEN    R2,R3,#0
    MOV    R1,SP
    BCS    1$
}
 for I:=0 to 15 do
  VAR00[I]:=CHST00;
end;


procedure L01304(var RECIO: RECF1012; CHN: integer; CHS: CHSTATE);
begin
 if VAR00[CHN]<>CHST00 then
 else
  with RECIO do
  begin
    RF04:=CHN;
    RF02:=0;
    RF02:=0;
    if CHS = CHST01 then
    begin
      RF06:=-1;
      RF1010:=512;
    end
    else
    if CHS = CHST02 then
      begin
      RF06:=0;
      RF1010:=1;
      end;
    VAR00[CHN]:=CHS;
  end;
end;

---

Alex_K, про var я помню, ага.
Сейчас первый внешний модуль я грубо уже выписал.

Стратегия такая: сначала первый проход, при котором могут быть отличия в смещениях, мелкие неточности.
Я смотрю на бинарное сравнение оригинального .SAV и полученного, "островки" в 1-3 байта различий пока оставляю как есть, если дальше совпадает. Эти островки я соберу их на втором проходе, тогда это будет уже легче сделать, когда адреса вызовов в паскалевских модулях встанут на место.

Черновой вариант двух внешних модулей.

По ошибке сделал архив с МАС-файлами. Пересобрал с исходниками на Паскале. Файл в сообщении выше.

Вот тут не срастается по типам, в procedure L06772:
RE00:=RG02;

То что есть запушил на гитхаб - https://github.com/nzeemin/uknc-vari.../DECOBJ-PASCAL