Question

我正在努力学习smali，我有一些问题，我用Google搜索来找不到。

1）我创建了一个简单的测试用例来更好地解释自己

const-string v1, "Start"
:try_start_0
const-string v1, "Try Block"
invoke-static {v1}, Lcom/example/test/Main;->print(Ljava/lang/String;)V
:try_end_0
.catchall {:try_start_0 .. :try_end_0} :catchall_0

.catch语句：两个参数是否意味着从该标签到该标签并捕获它（两个标签之间的代码）或者它是否意味着开始执行try：try_start_0直到达到：try_end_0（允许） goto跳转执行不在两个标签内的代码）？

try标签总是采用try_start_％d格式，还是可以是任何标签？

2）另一个案例

packed-switch v0, :pswitch_data_0

const-string v1, "Default Case"

invoke-static {v1}, Lcom/example/test/Main;->print(Ljava/lang/String;)V

:goto_0

const-string v1, "The End"

invoke-static {v1}, Lcom/example/test/Main;->print(Ljava/lang/String;)V

return-void

:pswitch_0
const-string v1, "Case 1"

invoke-static {v1}, Lcom/example/test/Main;->print(Ljava/lang/String;)V

goto :goto_0

:pswitch_data_0
.packed-switch 0x1
:pswitch_0
.end packed-switch

switch语句：它是否要求switch语句位于交换机数据和交换机调用之间？还是为了方便而修改了标签的命名？

3）如果标签可能不同，那么baksmali是否会产生带有不同标签的小码？

4）在反编译dex时，哪些可选行并不总是显示？

我知道.parameter和.line是可选的，但是那些可能不存在的是什么？

提前谢谢。

Answer 1

1）

前两个标签（示例中为try_start_0和try_end_0）定义了try块所涵盖的代码范围。如果在覆盖的代码中发生异常，则执行会立即跳转到第三个标签（catchall_0）。标签的名称并不重要，它可以是任何有效的标识符。

还有.catch指令，它是相同的，除了它只处理特定类型的异常（类似于java的catch语句）。

一个代码块可以被多个catch语句覆盖，并且最多可以捕获所有语句。 .catch语句的位置并不重要，但是，导入包含相同代码的catch语句的相对顺序。例如，如果你有

.catch Ljava/lang/Exception; {:try_start_0 .. :try_end_0} :handler1
.catch Ljava/lang/RuntimeException; {:try_start_0 .. :try_end_0} :handler2

永远不会使用第二个catch语句。如果在覆盖的代码中抛出RuntimeException，则第一个catch将始终被使用，因为RuntimeException是一个Exception。

但是，如果它们的顺序相反，它会像您期望的那样工作 - RuntimeException处理程序用于RuntimeExceptions，而Exception处理程序用于任何其他类型的异常。

最后，与java不同，.catch语句中的代码范围不需要严格嵌套。例如，拥有像

这样的东西是完全合法的

:a
const-string v1, "Start"
:b
const-string v1, "Try Block"
:c
invoke-static {v1}, Lcom/example/test/Main;->print(Ljava/lang/String;)V
:d
.catch Ljava/lang/RuntimeException; {:a .. :c} :d
.catch Ljava/lang/Exception; {:b .. :d} :d

你也可以有一些非常奇怪的结构，比如这个。

.method public static main([Ljava/lang/String;)V
    .registers 3

    :second_handler
    :first_try_start
        new-instance v0, Ljava/lang/RuntimeException;
        invoke-direct {v0}, Ljava/lang/RuntimeException;-><init>()V
        throw v0
    :first_try_end
    .catch Ljava/lang/Exception; {:first_try_start .. :first_try_end} :first_handler
    :first_handler
    :second_try_start
        new-instance v0, Ljava/lang/RuntimeException;
        invoke-direct {v0}, Ljava/lang/RuntimeException;-><init>()V
        throw v0
    :second_try_end
    .catch Ljava/lang/Exception; {:second_try_start .. :second_try_end} :second_handler
.end method

上述示例都不会从编译的java代码生成，但字节码本身允许它。

2）switch语句可以是与switch语句或switch数据有关的任何地方。这里的标签名称也是任意的。

3）Baksmali可以通过两种方式之一生成标签。默认方式是使用标签的一般“类型”，并附加标签的字节码地址。如果指定-s / - 顺序标签选项，而不是使用字节码地址，它会为每种标签类型保留一个计数器，并在每次生成该类型的标签时递增它。

4）通常是调试信息的一部分。 .parameter，.line，.prologue，.epilogue，.source，.local，.restart local，.end local ...我认为这涵盖了它。

DalvikVM如何处理切换并尝试smali代码

1 个答案: