Дизасм DECOBJ

[nzeemin]

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

[Advertiser]

[Alex_K]

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

[nzeemin]

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

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

[nzeemin]

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

[Alex_K]

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

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

[Alex_K]

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

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;

[nzeemin]

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

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

[Alex_K]

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

[Alex_K]

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

[nzeemin]

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

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