図7　バイナリ・コードを逆アセンブルしたところ　Java仮想マシンがスタック型を採用しているのに対し，Dalvik VMはレジスタ型の仮想マシンであることが分かる。