Dekompilieren von OCaml-Byte-Code-Dateien

8

Ich arbeite an Ocaml und ich habe einige Binärdateien, die ich herausfinden muss. Der nächste, den ich kenne, ist die Konvertierung von OCaml-Bytecode in C-kompilierten Code mit ocamlcc .

Ich möchte den C-Code nicht zurückentwickeln, solange und bis ich sicher weiß, dass ich den OCaml-Code nicht dekompilieren kann.

Frage: Gibt es traditionelle Methoden, ML-Code für OCaml spezifisch zu dekompilieren?

(Entschuldigung, wenn die Frage abstrakt ist.)

    
p0lAris 03.03.2013, 08:06
quelle

2 Antworten

6

Sie können auch dumpobj aus dem Verzeichnis tools der Distribution verwenden. Es wird auf meinem Ubuntu-Linux unter dem Namen ocamldumpobj installiert und druckt die Anweisungen, die in einer Bytecode-Datei enthalten sind, in einem Format wie:

%Vor%

Sie müssen etwas über OCaml Bytecode lernen, um weiter zu gehen. Es gibt kein Werkzeug, um von Bytecode zu Quelldateien zu gehen, da der Bytecode nicht genügend Informationen dafür enthält.

    
Fabrice Le Fessant 27.03.2013, 10:03
quelle
4

Haben Sie versucht, den Bytecode oder den Lambda-Code zu drucken? Sie können die Option -dlambda oder -dinstr von OCaml verwenden.

Es gibt auch ein wirklich gutes Projekt für den binären Drucker: ocamlpp . Vielleicht solltest du einen Blick darauf werfen.

    
cago 04.03.2013 09:35
quelle

Tags und Links

Django: Verwenden von Annotate, Count und Distinct in einem Queryset Digitalisierung eines analogen Signals