Pythonを逆アセンブルして出てきたコードの実行方法を知りたい。

Question

###概要
分からないことがあるので助けてください。
Pythonのdisライブラリを使って関数を逆アセンブルしました。

def print_text():
    print("Hello")
import dis
dis.dis(print_text)

これによって出てきたアセンブリはどのようにして実行できますか？
###環境
Windows10 64bit
###試したこと
NASMを使ってみた。
構文エラーが発生。

どなたか詳しい方、ご教授頂けないでしょうか。
###補足
出てきたアセンブリコードは以下です。

  2           0 LOAD_GLOBAL              0 (print)
              2 LOAD_CONST               1 ('Hello')
              4 CALL_FUNCTION            1
              6 POP_TOP
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE

お願いします。

Comments

[y_waiwai]

どういうアセンブリコードが出てきたんでしょうか

Answer 1

それはアセンブル言語のニーモニックではないです。
おそらく、Pythonがおこなう中間言語形式を出力したもの、だと思われるので、それを実行させるにはNASMでは無理です。

そもそも、pythonというのはインタプリタ言語なんで、あなたの思うような機械語の実行形式の形では出力しません

Comments

[akisan55]

なるほど、出てきたコードは中間コードの役割をしていたのですね。
無事解決しました。有難うございます。

Answer 2

これによって出てきたアセンブリはどのようにして実行できますか？

の答えは、

>>> print_text()
Hello

です。

逆アセンブラは実行可能なコードを人間が読みやすいニーモニックに変換しているだけです。
したがって、実行する方法は元の関数を実行することです。

元のバイトコードは以下です。

>>> print_text.__code__
<code object print_text at 0x000002D2A1B48030, file "<stdin>", line 1>

このバイト列を逆アセンブルしたものが以下のものですね。

>>> dis.dis(print_text)
  2           0 LOAD_GLOBAL              0 (print)
              2 LOAD_CONST               1 ('Hello')
              4 CALL_FUNCTION            1
              6 POP_TOP
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE

関数print_textを直接呼び出さずにコードを実行したければexecを使うこともできます。
以下のようにやってください。

>>> code = print_text.__code__
>>> print(code)
<code object print_text at 0x000002D2A1B48030, file "<stdin>", line 1>
>>> exec(code)
Hello

Pythonバイトコードの説明は、Python バイトコード命令を見てください。
どの命令がどういうバイトに対応しているかを知りたければ、Pythonのソースをダウンロードして、Includeにある.hファイルを見てください。多分code.hだったと思います。
opcode.hでした。

バイトコード自体を見たければ、

>>> print(print_text.__code__.co_code)
b't\x00d\x01\x83\x01\x01\x00d\x00S\x00'

で表示されるものです。
これと逆アセンブルした結果を見比べれば意味は分かります。
ただし、この表示では最初のバイトがtと表示されているので、全てを16進表示に変更した方が見やすい出しょう。

Comments

[akisan55]

ご回答ありがとうございます。
code.hを参照してみました。確かに、Pythonのバイトコードがありました。
参考になりました。助かりました。