8

我正在尝试学习 smali，但我有一些问题无法通过谷歌搜索找到。

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_start_0 开始执行 try 直到它到达 :try_end_0 （允许 goto 跳转执行不在两个标签内的代码）？

尝试的标签是否始终采用 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 语句位于 switch 数据和 switch 调用之间？又是固定标签的命名还是为了方便起见？

3）如果标签可以不同，baksmali 会生成带有不同标签的 smali 代码吗？

4）反编译dex时不总是显示的可选行是什么？

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

先感谢您。

4

1 回答 1

6

1)

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

还有 .catch 指令，with 是一样的，只是它只处理特定类型的异常（类似于 java 的 catch 语句）。

一段代码可以被多个catch语句覆盖，最多1个catch all语句。.catch 语句的位置并不重要，但是，覆盖相同代码的 catch 语句的相对顺序是 import。例如，如果您有

.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 是一个异常。

但是，如果它们的顺序相反，它将像您期望的那样工作 - 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/--sequential-labels 选项，而不是使用字节码地址，它会为每个标签类型保留一个计数器，并在每次生成该类型的标签时递增它。

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

于 2012-12-31T17:57:18.920 回答