中文字幕视频一区,中文字字幕在线中文乱码品,丁香婷婷在线视频

逃逸變量的判斷為什么是這樣的I.isUsedOutsideOfBlock(&BB)

ashLL 2023-6-1 1413

為什么當(dāng)前指令在其他基本塊中使用了,就算是逃逸變量了呢?

2條回答

34r7hm4n 2023-6-1

注意看fixstack函數(shù)的源碼，只有在判斷指令類(lèi)型是AllocaInst的情況下才會(huì)修復(fù)：https://github.com/bluesadi/Pluto-Obfuscator/blob/3c332857429162015aef94d875eafc95a60112f8/llvm/lib/Transforms/Obfuscation/Utils.cpp#L30

回復(fù) 已采納

ashLL: 那是不是應(yīng)該這樣寫(xiě)啊
if (!(isa<AllocaInst>(&I) && I.getParent() == &entryBB) &&
isa<AllocaInst>(&I)&&I.isUsedOutsideOfBlock(&BB))

回復(fù) 2023-6-2

34r7hm4n: @AshCrimson 抱歉，這里說(shuō)錯(cuò)了。不是只處理AllocaInst指令，是除了在入口塊的AllocaInst指令都要處理，包括Add指令，Load指令之類(lèi)的。

回復(fù) 2023-6-3

34r7hm4n: @AshCrimson 就比如說(shuō)`x = add y, z`指令在別的基本塊被使用了，就說(shuō)明那個(gè)基本塊使用了x變量，這時(shí)候把x稱(chēng)為逃逸變量。

回復(fù) 2023-6-3

34r7hm4n 2023-6-1 2023-6-1編輯

在fixStack里只會(huì)處理AllocaInst指令，所以這里的I的類(lèi)型是AllocaInst，可以看作是C語(yǔ)言里的定義變量操作。I.isUsedOutsideOfBlock(&BB)也就是判斷AllocaInst對(duì)應(yīng)的變量有沒(méi)有在當(dāng)前基本塊以外被使用。

假設(shè)原程序在一個(gè)基本塊中定義了變量a，在這個(gè)基本塊的下一個(gè)基本塊中使用了變量a。這時(shí)候編譯這個(gè)程序不會(huì)出問(wèn)題，因?yàn)榫幾g器知道變量a在被使用之前一定在前一個(gè)基本塊被定義了。

然而平坦化之后基本塊之間的順序被打亂了，編譯器也無(wú)法知道變量a在使用之前會(huì)不會(huì)被定義，所以會(huì)在編譯時(shí)直接報(bào)錯(cuò)。解決這個(gè)問(wèn)題的方法是把所有a變量的定義提前到函數(shù)的入口塊，這個(gè)過(guò)程就叫做修復(fù)逃逸變量。更具體的解釋可以看我在看雪上發(fā)的文章：https://bbs.kanxue.com/thread-268789.htm

回復(fù)