android - Smali 类型转换为原始类型

Question

我收到以下 dalvikvm 验证程序错误:

Line 1041: W/dalvikvm( 2610): VFY: register1 v5 type 13, wanted 5
Line 1042: W/dalvikvm( 2610): VFY:  rejecting opcode 0x70 at 0x0032
Line 1043: W/dalvikvm( 2610): VFY:  rejected Lcom/cleanmaster/notification/aj;.b 

Smali 代码:

.method private b(Lcom/cleanmaster/notification/normal/NotificationSetting;Lcom/cleanmaster/notification/normal/o;Landroid/widget/RemoteViews;)V
.registers 11
.prologue
const/4 v5, 0x1
.line 126
iget-object v0, p2, Lcom/cleanmaster/notification/normal/o;->s:Landroid/content/Intent;
if-eqz v0, :cond_c
.line 127
iget-object v0, p2, Lcom/cleanmaster/notification/normal/o;->s:Landroid/content/Intent;
.line 128
const-string v1, "notify_style_type"
.line 129
invoke-static {v5}, Ljava/lang/Byte;->valueOf(B)Ljava/lang/Byte;
move-result-object v5
const-string v6, "putExtra(Ljava/lang/String;B)Landroid/content/Intent;"
invoke-static {v6, v0, v1, v5}, La;->c(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
invoke-virtual {v5}, Ljava/lang/Byte;->byteValue()B
move-result v5
:cond_c
.line 130
invoke-static {}, Lcom/keniu/security/c;->a()Landroid/content/Context;
move-result-object v1
.line 131
const-string v0, "notification"
.line 132
const-string v6, "getSystemService(Ljava/lang/String;)Ljava/lang/Object;"
invoke-static {v6, v1, v0}, Lb;->a(Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
move-result-object v6
check-cast v6, Ljava/lang/Object;
move-object v0, v6
check-cast v0, Landroid/app/NotificationManager;
iget-boolean v2, p1, Lcom/cleanmaster/notification/normal/NotificationSetting;->i:Z
iget-boolean v3, p1, Lcom/cleanmaster/notification/normal/NotificationSetting;->o:Z
.line 133
invoke-direct {p0, v1, p2, v2, v3}, Lcom/cleanmaster/notification/aj;->a(Landroid/content/Context;Lcom/cleanmaster/notification/normal/o;ZZ)Landroid/app/Notification;
move-result-object v2
iget v3, p2, Lcom/cleanmaster/notification/normal/o;->d:I
const/4 v4, 0x0
.line 134
invoke-direct {p0, v3, v4, v5}, Lcom/cleanmaster/notification/aj;->a(IZZ)I

在我看来，最后一个 invoke-direct 参数 v5 是个问题。不知何故，dalvik 不是原始类型，因此不能转换为 bool 值。尽管有一个:

invoke-virtual {v5}, Ljava/lang/Byte;->byteValue()B
move-result v5

是否缺少检查转换？

Answer 1

操作码 0x70 是直接调用的。唯一引用 v5 的 invoke-direct 指令是最后一条:invoke-direct {p0, v3, v4, v5}, Lcom/cleanmaster/notification/aj;->a(IZZ)I。看起来 v5 是根据您提到的方法设置的，但它是一个字节 (B)，而此方法需要一个 bool 值 (Z)

为了自己诊断此类问题，您可以使用 -r 选项对有问题的 dex 文件运行 baksmali，这会在任何给定点的反汇编中添加与寄存器类型相关的注释。

另一个有用的选项是 -f，它会添加带有指令偏移量的注释，因此您可以准确识别 dalvik 验证错误针对的是哪条指令。

例如拒绝 0x0032 处的操作码 0x70 - 因此您将在偏移量 0x32 处查找指令

baksmali classes.dex -o out -f -r

最后，为了确定错误提到的实际类型，您可以查看 https://android.googlesource.com/platform/dalvik/+/kitkat-mr2.2-release/vm/analysis/CodeVerify.h#59 处的枚举。

例如对于 W/dalvikvm( 2610): VFY: register1 v5 type 13, wanted 5: 类型 13 是字节，而类型 5 是 bool 值。