Prolog でバイトコードの静的解析を行おうとしています。MethodGen から命令リストを取得するために bcel ライブラリを使用しています。aload_0 の場合、取得します
0:aload_0[42](1)
aload_00番目のローカル変数をロードすることを意図していることを理解しています。しかし、次のビット、つまりを理解するのに苦労しています[42](1)。たとえば、次のような他の指示もあります。
invokespecial[183](3) 8
return[177](1)
誰かがそれらが何であるか説明してもらえますか?. 高く評価します！