static 结构体_源码简析|ArtMethod结构与相关技术介绍

本文详细梳理了ArtMethod结构体在Android系统不同版本中的演变,包括Method与ArtMethod的区别、各个版本的结构变化、适配要点,以及hook和加固技术的调整。理解这些变化有助于应对版本升级带来的挑战。
摘要由CSDN通过智能技术生成

一、前言

不论是APK代码抽取加固还是热更新,亦或是Xposed/frida hook,都离不开ArtMethod这个结构体。

但该结构体从andorid 4.4开始一直到现在的9.0,或多或少都会update,这导致之前版本的脱壳或者热更新都需要实时适配……想想,还是针对该结构体进行一个总结,总结过程当中会顺便介绍一些常见的框架使用到该结构体的部分。

主要做个人的一个总结,有些地方可能表述不清……

  • 目的:一方面是进行个人总结,加深印象,另一方面便于以后查询适配。
  • 适用于:了解hook原理基础。

二、Method与ArtMethod

谈到ArtMethod还是提下4.4之前Method。

因为本次是针对ArtMethod做各版本总结,这里简单列出对比,方便过渡。

8e6f6efc7611637e7cf68c79a13186ad.png

针对Method结构体,不得不谈谈xposed,还有第一代指令抽取加固方式。实际就是找到Method 中的 insns指令码字段(加固时是在dex文件,hook则直接获取函数指针得到该指令码字段),然后运行时替换。

而ArtMethod,是ART下的产物。其结构较于Method发生了变化,当dex2oat的时候,还会有多种方法内联优化。而方法内联会改变原本的方法分布和调用流程,对加固、热修复、hook,实际上都有一定的影响。当然,这个是后话,就不再赘述。

三、ArtMethod结构

先给出ArtMethod结构主要的字段。

英文是源码,中文是个人注释。

版本:android-9.0.0_r30:

class ArtMethod { …………protect:  // Field order required by test "ValidateFieldOrderOfJavaCppUnionClasses". // The class we are a part of. //GCroot添加在N,实际是个指针,这个字段即是表明所属类,一般用喜闻乐见的uint32_t代替 GcRoot<:class> declaring_class_;  // Access flags; low 16 bits are defined by spec. // Getting and setting this flag needs to be atomic when concurrency is // possible, e.g. after this method's class is linked. Such as when setting // verifier flags and single-implementation flag. //可以理解为该函数的标志位,如函数为public,private,static,native等。 //这个字段java2native,xposed hook的标志位。 //值得一提的是,9.0以后的Hid API,对应函数GetHiddenApiAccessFlags,不是这个,但是看到这里,可以考虑如何修改hide标志位  std::atomic<:uint32_t> access_flags_;   /* Dex file fields. The defining dex file is available via declaring_class_->dex_cache_ */ // Offset to the CodeItem. //加固代码替换点。 //里面指向code_item指针,code_item存储的实际是dex当中的字节码.其用处本来是适配dalvik解释器,即无法编译成机器码的,用解释器来执行。 // uint32_t dex_code_item_offset_;    // Index into method_ids of the dex file associated with this method. //主要作为寻址替换用 uint32_t dex_method_index_;   /* End of dex file fields. */ // Entry within a dispatch table for this method. For static/direct methods the index is into // the declaringClass.directMethods, for virtual methods the vtable and for interface methods the // ifTable. uint16_t method_index_;    // The hotness we measure for this method. Not atomic, as we allow // missing increments: if the method is hot, we will see it eventually. //方法被记录的频率热度,用在Android N+混合编译部分,根据该值来判断是否使用JIT编译。 uint16_t hotness_count_;   // Fake padding field gets inserted here. // Must be the last fields in the method. //没错,这个Fields9.0地址又改了,需适配,在下面详细介绍每个字段 struct PtrSizedFields { // Depending on the method type, the data is // - native method: pointer to the JNI function registered to this method // or a function to resolve the JNI function, // - conflict method: ImtConflictTable, // - abstract/interface method: the single-implementation if any, // - proxy method: the original interface method or constructor, // - other methods: the profiling data.   //这个字段顾名思义,根据方法类型,会充当不同作用,是不是可以理解为以前几个指针的复合…… void* data_; // Method dispatch from quick compiled code invokes this pointer which may cause bridging into // the interpreter. void* entry_point_from_quick_compiled_code_; } ptr_sized_fields_;  ………… }

上面是最新的9.0的结构。以下重点介绍几个版本改动处,原因,以及适配点。

前面的结构几乎没有变化,但是要开始谈论,还是得溯源到5.0……

5.0地址在runtime/mirror/art_method.h中

关键结构:

class ArtMethod { ………… protect: HeapReference declaring_class_; HeapReference dex_cache_resolved_methods_; HeapReference> dex_cache_resolved_types_; uint32_t access_flags_; uint32_t dex_code_item_offset_; uint32_t dex_method_index_; uint32_t method_index_; struct PACKED(4) PtrSizedFields { void* entry_point_from_interpreter_; void* entry_point_from_jni_; void* entry_point_from_quick_compiled_code_; #if defined(ART_USE_PORTABLE_COMPILER) void* entry_point_from_portable_compiled_code_;#endif } ptr_sized_fields_; static GcRoot java_lang_reflect_ArtMethod_; }……

这个时候,还存在entry_point_fromjni,entry_point_frominterpreter,关键在于这两个字段的被广泛用于hook(frida,xposed)、加固以及热更新(所以版本更新就得适配了……)

下面重点介绍下PtrSizedFields结构,其版本做过多个改变,实际上是进行了精简,不过还是需要适配……

5.0:struct PACKED(4) PtrSizedFields { void* entry_point_from_interpreter_; void* entry_point_from_jni_; void* entry_point_from_quick_compiled_code_;  #if defined(ART_USE_PORTABLE_COMPILER) void* entry_point_from_portable_compiled_code_; #endif} ptr_sized_fields_; 6.0:struct PtrSizedFields { void* entry_point_from_interpreter_; void* entry_point_from_jni_; void* entry_point_from_quick_compiled_code_;} ptr_sized_fields_; 7.0:struct PtrSizedFields { ArtMethod** dex_cache_resolved_methods_; void* dex_cache_resolved_types_; void* entry_point_from_jni_; void* entry_point_from_quick_compiled_code_;} ptr_sized_fields_;  8.0:struct PtrSizedFields { ArtMethod** dex_cache_resolved_methods_; void* data_; void* entry_point_from_quick_compiled_code_; } ptr_sized_fields_; 9.0:struct PtrSizedFields { void* data_; void* entry_point_from_quick_compiled_code_;} ptr_sized_fields_;

简单谈一下几个关键字段的作用与各版本改变,可以对照之上的看:

uint32_t access_flags_:标志位,常见的 Hook方案,将待hook的java函数修改为native函数,就是修改该标志位。  uint32_t dex_code_item_offset_:最终可得到code_item地址,里面存储这方法指令。但需先获取dex头地址  entry_point_from_jni_:用于存储jni方法信息。非jni方法的entrypoint_from_jni_是无用的,所以很多hook框架将该字段作为原方法信息备份地址,如xposed,frida都是将原方法保存到entry_point_from_jni_。但android 7.0也就是N后,该字段被用于保存方法的profile,这个又和hotness_count_相关,及混合编译,有兴趣可以去看源码,所以这个字段不能作为原方法保存地址。而且在8.0以后,entry_point_from_jni_同样被移除了……  entry_point_from_interpreter_:通过interpreter方式调用方法 解释执行入口。android 7.0,entrypoint_from_interpreter_已经被移除,非jni方法的执行通过entrypoint_from_quick_compiled_code_进行分发。  entry_point_from_quick_compiled_code:这里就是常见的ART Hook方法为,替换方法的入口点,替换后的入口点,会重新准备栈和寄存器,执行hook的方法。注意,这里指向的是汇编代码,运行的是已经预处理过的机器码。

从上面就可以很清晰的看到一个7.0之前的hook流程:获取函数的入口,得到函数结构体,替换accessflags将方法native化,保存原函数信息在entry_point_fromjni,替换entry_point_from_quick_compiled_code。调用被hook的方法时,首先会跳转替换的方法,然后跳转到entry_point_fromjni所指向的原方法。

当然,每个版本的hook方式不同,有些会采用机器码执行,有些会采用解释器执行,同样的加固原理也不同。

这边可以发现两种指令抽取加固原理:

  • 替换dex_code_itemoffset对应的code_item,不改变原方法属性
  • 改变原方法属性,直接替换entry_point_from_quick_compiled_code。

通过artmethod关键结构,可以发现,这都是可行的操作。

但这里仅从原理角度分析可行,但实际环境适配与汇编代码编写,都是需要处理的,因为Android N的混合编译,垃圾回收修改,会导致的诸多问题,而7.0以后的适配,实际也就是针对原函数存放地址的适配,只能简略提一提,不多提。

忽然想到,现在的vm加固,若采用ARM 虚拟化保护,需要制定汇编解释器,将原始函数转换成字节码,保存原始函数的寄存器以及堆栈信息,然后在运行当中,然后用自定义解释器解析,这一部分又是一块需要大量实验和适配的地方……当然只是闲扯一句。

以上,实际深入了解ArtMethod结构后,会对以往版本的hook、代码抽取加固技术等有一个更清晰的认识,通过源码理解字段的作用和功能,也可以帮助产品进行适配,不至于在版本更新时,无从下手。

本文转自看雪社区

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值