學完ASM Tree api,再也不怕hook了
highlight: arta
背景
看完本章,你將會學習到用ASM的tree api進行對匿名執行緒的hook操作,同時也能夠了解到asm相關的操作和背景知識介紹!對於ASM插樁來說,可能很多人都不陌生了,但是大多數可能都停留在core api上,對於現在市面上的一些插樁庫,其實很多都用tree api進行編寫了,因為tree api的簡單與明瞭的特性,也越來越成為許多開源庫的選擇。(ASM有兩套api型別,分別是core 和 tree)
ASM介紹
ASM其實就是一個可以編譯位元組碼的工具,比如說我們日常開發會引入很多的類庫對不對,又或者說我們的專案太大了,想修改某個點的時候,統一修改容易出錯(比如隱私合規問題等),這個時候如果能有一個工具對生成後的class檔案進行編輯的話,就非常方便我們進行後續的工作了。
本章主要介紹tree api,下文所說的ASM都是指tree api的操作哦,對於core api的介紹可以檢視筆者曾經寫過的文章Spider。
class檔案
我們常說的class檔案,其實從二進位制的角度出發,無非是分成以下幾個部分:
可以看到,一個class檔案其實就是由上圖中的多個部分組成,而ASM,就是把這些結構進行了更進一步的抽象,對於class檔案,其實就是抽象成asm中的class node類
對於一個class檔案來說,通過以下就可以進行唯一性識別,分別是:version(版本),access(作用域,比如private等修飾符),name(名稱),signature(泛型簽名),superName(父類),interfaces(實現的介面),fields(當前的屬性),methoss(當前的方法)。
所以如果想要修改一個class,我們修改對應的classNode即可
fields
屬性,也是類非常重要的一部分,在位元組碼中,是如此定義的
對於一個屬性,ASM將其抽象為FieldNode
對於一個屬性field來說,通過以下就可以進行唯一性識別:access(作用域,跟class結構一樣,比如private修飾),name(屬性名稱),desc(簽名),signature(泛型簽名),value(當前對應的數值)
methods
相比於屬性,我們的方法結構更為複雜
相比於屬性的單一,一個方法可能由多條指令組成而,一個方法的成功執行,也涉及到區域性變量表跟運算元棧的配合。ASM中把方法抽象成這樣一個定義 方法 = 方法頭+方法體
- 方法頭:即標識一個方法的基本屬性,包括:access(作用域),name(方法名),desc(方法簽名),signature(泛型簽名),exceptions(方法可以丟擲的異常)
- 方法體:相比於方法頭,方法體的概念其實就比較簡單了,其實方法體就是方法的各條指令的集合,主要包括instrutions(方法的指令集),tryCatchBlocks(異常的節點集),maxStack(運算元棧的最大深度),maxLocals(本地變量表的最大長度)
可以看到,方法其中的InsnList物件,是特指方法的指令集的抽象,這裡繼續講解
InsnList
public class InsnList implements Iterable<AbstractInsnNode> {
private int size;
private AbstractInsnNode firstInsn;
private AbstractInsnNode lastInsn;
AbstractInsnNode[] cache;
...
可以看到,主要的物件就是firstInsn,與lastInsn,代表著方法指令集的頭指令與尾指令,每一個指令其實都被抽象成了AbstractInsnNode的子類,AbstractInsnNode定義了一條指令最基礎的資訊,我們可以看看這個類的子類
這裡我們再看看我們最常用的methodInsnNode
```
public class MethodInsnNode extends AbstractInsnNode {
/* * The internal name of the method's owner class (see {@link * org.objectweb.asm.Type#getInternalName()}). * *
For methods of arrays, e.g., {@code clone()}, the array type descriptor. / public String owner;
/* The method's name. / public String name;
/* The method's descriptor (see {@link org.objectweb.asm.Type}). / public String desc;
/* Whether the method's owner class if an interface. / public boolean itf; ``` 這個就是一個普通方法指令最根本的定義了,owner(方法呼叫者),name(方法名稱),desc(方法簽名)等等,他們都有著相似的結構,這個也是我們接下來會實戰的重點。
Signature
嗯!我們最後介紹一下這個神奇的東西!不知道大家在看介紹的時候,有沒有一臉疑惑,這個我解釋為泛型簽名,這個跟desc(函式簽名)引數有什麼區別呢?當然,這個不僅僅在函式上有出現,在屬性,類的結構上都有出現!是不是非常神奇!
其實Signature屬性是在JDK 1.5釋出後增加到了Class檔案規範之中,它是一個可選的定長屬性, 可以出現於類、屬性表和方法表結構的屬性表中。我們想想看,jdk1.5究竟是發生什麼了!其實就是對泛型的支援,那麼1.5版本之前的sdk怎麼辦,是不是也要進行相容了!所以java標準組就想到了一個折中的方法,就是泛型擦除,泛型資訊編譯(型別變數、引數化型別)之後 都通通被擦除掉,以此來進行對前者的相容。那麼這又導致了一個問題,擦除的泛型資訊有時候正是我們所需要的,所以Signature就出現了,把這些泛型資訊儲存在這裡,以提供執行時反射等型別資訊的獲取!實際上可以看到,我們大部分的方法或者屬性這個值都為null,只有存在泛型定義的時候,泛型的資訊才會被儲存在Signature裡面
實戰部分
好啦!有了理論基礎,我們也該去實戰一下,才不是口水文!以我們執行緒優化為例子,在工作專案中,或者在老專案中,可能存在大多數不規範的執行緒建立操作,比如直接new Thread等等,這樣生成的執行緒名就會被賦予預設的名字,我們這裡先把這類執行緒叫做“匿名執行緒”!當然!並不是說這個執行緒沒有名字,而是執行緒名一般是“Thread -1 ”這種沒有額外資訊含量的名字,這樣對我們後期的執行緒維護會帶來很大的干擾,時間長了,可能就存在大多數這種匿名執行緒,有可能帶來執行緒建立的oom crash!所以我們的目標是,給這些執行緒賦予“名字”,即呼叫者的名字
解決“匿名”Thread
為了達到這個目的,我們需要對thread的構造有一個瞭解,當然Thread的建構函式有很多,我們舉幾個例子
public Thread(String name) {
init(null, null, name, 0);
}
public Thread(ThreadGroup group, String name) {
init(group, null, name, 0);
}
可以看到,我們Thread的多個建構函式,最後一個引數都是name,即Thread的名稱,所以我們的hook點是,能不能在Thread的構造過程,呼叫到有name的建構函式是不是就可以實現我們的目的了!我們再看一下普通的new Thread()位元組碼
那麼我們怎麼才能把new Thread()的方式變成 new Thread(name)的方式呢?很簡單!只需要我們把init的這條指令變成有參的方式就可以了,怎麼改變呢?其實就是改變desc!方法簽名即可,因為一個方法的呼叫,就是依據方法簽名進行匹配的。我們在函式後面新增一個string的引數即可
node是methidInsnNode
def desc =
"${node.desc.substring(0, r)}Ljava/lang/String;${node.desc.substring(r)}"
node.desc = desc
那麼這樣我們就可以完成了嗎,非也非也,我們只是給方法簽名對加了一個引數,但是這並不代表我們函式就是這麼執行的!因為方法引數的引數列表中的string引數我們還沒放入運算元棧呢!那麼我們就可以構造一個string引數放入運算元棧中,這個指令就是ldc指令啦!asm為我們提供了一個類是LdcInsnNode,我們可以建立一個該類物件即可,構造引數需要傳入一個字串,那麼這個就可以把當前方法的owner(解釋如上,呼叫者名稱)放進去了,是不是就達到我們想要的目的了!好啦!東西我們又了,我們要在哪裡插入呢?
所以我們的目標很明確,就是在init指令呼叫前插入即可,asm也提供了insertBefore方法,提供在某個指令前插入的便捷操作。
method.instructions.insertBefore(
node,
new LdcInsnNode(klass.name)
)
我們看看最後插入後的位元組碼
當然,我們插入asm程式碼一般是在android提供給我們的Transform階段進行的(agp新版有改變,但是大體工作流程一致),所以我們在transfrom中為了避免對類的過度干擾,我們還需要把不必要的階段提早剔除!比如我們只在new Thread操作,那麼就把非Opcodes.INVOKESPECIAL的操作過濾即可。還有就是非init階段(即非建構函式階段)或者owner不為Thread類就可以提前過濾,不參與更改即可。
那我們看到完整的程式碼(需要在Transform中執行的程式碼) ``` static void transform(ClassNode klass) { println("ThreadTransformUtils") // 這裡只處理Thread klass.methods?.forEach { methodNode -> methodNode.instructions.each { // 如果是建構函式才繼續進行 if (it.opcode == Opcodes.INVOKESPECIAL) { transformInvokeSpecial((MethodInsnNode) it, klass, methodNode) } } }
}
private static void transformInvokeSpecial(MethodInsnNode node, ClassNode klass, MethodNode method) {
// 如果不是建構函式,就直接退出
if (node.name != "
}
private static void transformThreadInvokeSpecial( MethodInsnNode node, ClassNode klass, MethodNode method ) { switch (node.desc) { // Thread() case "()V": // Thread(Runnable) case "(Ljava/lang/Runnable;)V": method.instructions.insertBefore( node, new LdcInsnNode(klass.name) ) def r = node.desc.lastIndexOf(')') def desc = "${node.desc.substring(0, r)}Ljava/lang/String;${node.desc.substring(r)}" // println(" + $SHADOW_THREAD.makeThreadName(Ljava/lang/String;Ljava/lang/String;) => ${this.owner}.${this.name}${this.desc}: ${klass.name}.${method.name}${method.desc}") println(" * ${node.owner}.${node.name}${node.desc} => ${node.owner}.${node.name}$desc: ${klass.name}.${method.name}${method.desc}") node.desc = desc break }
} ```
最後
看到這裡,應該可以瞭解到asm tree api相關用法與實戰了,希望能有所幫助!
我正在參與掘金技術社群創作者簽約計劃招募活動,點選連結報名投稿。
- Lambda - 認識java lambda與kotlin lambda的細微差異
- 寫給android開發的Linux 訊號 - 下篇
- 神奇的年終總結
- “Signal”背後的bug與解決
- Parcel-Binder流水線的打包俠
- 避免踩坑,記憶體不足時系統回收Activity的流程解析
- Suspend函式與回撥的互相轉換
- 聊一聊Kotlin協程"低階"api
- Android效能優化 - 包體積殺手之R檔案內聯原理與實現
- 從val跟var瞭解虛擬機器世界
- Android效能優化 - 捕獲java crash的那些事
- Android效能優化-執行緒監控與執行緒統一
- Android效能優化 - plt hook 與native執行緒監控
- 神奇的Compose - 效能監控篇
- 最近很火的反除錯,你知道它是什麼嗎?
- 神奇的共享記憶體
- 學完ASM Tree api,再也不怕hook了
- 對移動端app容災的思考
- 為什麼說獲取堆疊從來就不是一件簡單的事情
- 聽說Compose與RecyclerView結合會有水土不服?