D2C_GET_PENDING_EX 有问题

[WDoumsg]

问题代码

#define D2C_GET_PENDING_EX                                                     \
  exception = env->ExceptionOccurred();                                        \
  env->ExceptionClear();                                                       \

修复后代码

#define D2C_GET_PENDING_EX                                                       \
    if (exception != NULL)                                                       \
      env->DeleteLocalRef(exception);                                            \
    exception = env->ExceptionOccurred();                                        \
    env->ExceptionClear();                                                       \

[amimo]

应该不能这么改.当前代码有一个在循环中抛出异常的测试用例.LocalRef.java,可能还需要进一步分析引用为什么没有释放.

[WDoumsg]

应该不能这么改.当前代码有一个在循环中抛出异常的测试用例.LocalRef.java，可能还需要进一步分析引用为什么没有释放。

1. 将 visit_move_exception 的生成代码从：

def visit_move_exception(self, ins, var):
    self.write_trace(ins)
    self.write_kill_local_reference(var)
    var.declared = True
    var.visit(self)
    self.write(' = exception;\n')

改为：

def visit_move_exception(self, ins, var):
    self.write_trace(ins)
    self.write_kill_local_reference(var)
    var.declared = True
    var.visit(self)
    self.write(' = env->NewLocalRef(exception);\n')

2. 然后使用我的 D2C_GET_PENDING_EX 修改后的代码。

这样可以确保：

• move-exception 得到一个新的 local reference
• 旧的 exception 引用在后续新的异常产生时可以安全回收
• 避免频繁异常时的 LocalRef 溢出问题（Android < 8.0 的 512 limit）

---

问题

在 Android 8.0 之前，JNI 的 local reference 上限为 512 个。
如果发生大量异常，且异常对象未正确释放，就会出现：

JNI local reference table overflow (max=512)

例如以下代码：

fun main() {
    for (i in 0 until 512+2) {
        try {
            throw RuntimeException("test")
        } catch (e: Exception) {
            e.printStackTrace()
        }
    }
}

即使异常被 catch，如果 DEX→C 转换后的代码没有释放 exception 的 local ref，每一次 catch 都会产生一个本地引用，最终导致溢出。

---

✔ 第二类同样会溢出的情况

即使 catch_e 里没有 move-exception 指令：

fun main() {
    for (i in 0 until 512+2) {
        try {
            throw RuntimeException("test")
        } catch (e: Exception) {
        }
    }
}

对应的 DEX：

# direct methods
.method public static final main()V
    .registers 3

    .line 4
    const/4 v0, 0x0

    .local v0, "i":I
    :goto_1
    const/16 v1, 0x202

    if-ge v0, v1, :cond_11

    .line 5
    nop

    .line 6
    :try_start_6
    new-instance v1, Ljava/lang/RuntimeException;

    const-string v2, "test"

    invoke-direct {v1, v2}, Ljava/lang/RuntimeException;-><init>(Ljava/lang/String;)V

    throw v1
    :try_end_e
    .catch Ljava/lang/Exception; {:try_start_6 .. :try_end_e} :catch_e

    .line 7
    .line 4
    :catch_e
    add-int/lit8 v0, v0, 0x1

    goto :goto_1

    .line 10
    :cond_11
    return-void
.end method

这里 Exception 虽然没有 move 到寄存器，但 C 层依旧会持有 JNI 异常引用，而没有清理一样会导致 localref 增长 → 最终溢出。

---

[amimo]

以前dex虚拟机要求catch handler的第一个条指令必须是move-exception，后面新的编译器可能优化了。这么改的话，你还需要将exception创始化为null。