【摘要】：動(dòng)態(tài)污點(diǎn)跟蹤技術(shù)展現(xiàn)了在移動(dòng)隱私保護(hù)方面的強(qiáng)大功能,但存在系統(tǒng)性能較低問題.提出了一種基于即時(shí)編譯的動(dòng)態(tài)污點(diǎn)傳播優(yōu)化方法.首先,將程序邏輯精確抽象為污點(diǎn)傳播邏輯,簡(jiǎn)化污點(diǎn)傳播分析復(fù)雜性;然后,提出了一個(gè)污點(diǎn)傳播框架,并證明了在該框架下污點(diǎn)傳播分析的正確性和有效性;最后,采用消除、替換和移動(dòng)等方法將冗余低效的污點(diǎn)傳播代碼轉(zhuǎn)化為高效等價(jià)的污點(diǎn)傳播代碼.實(shí)驗(yàn)結(jié)果表明,經(jīng)過優(yōu)化后,單條熱路徑的污點(diǎn)傳播代碼節(jié)省了38%的內(nèi)存占用和指令執(zhí)行時(shí)間,系統(tǒng)整體性能平均提升了6.8%.
[Abstract]:Dynamic stain tracking technology shows its powerful function in mobile privacy protection, but there is a problem of low system performance. A dynamic stain propagation optimization method based on real-time compilation is proposed. Firstly, the program logic is abstracted accurately into the stain propagation logic, which simplifies the complexity of the stain propagation analysis. Then, a stain propagation framework is proposed, and the correctness and effectiveness of the stain propagation analysis under this framework are proved. Finally, the redundant and inefficient stain propagation code is transformed into efficient equivalent stain propagation code by eliminating, replacing and moving. The experimental results show that after optimization, the stain propagation code of a single hot path saves 38% memory occupation and instruction execution time, and the overall performance of the system is improved by 6.8% on average.
【作者單位】： 解放軍信息工程大學(xué)三院;密碼科學(xué)技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(北京信息科學(xué)技術(shù)研究院);河南省信息安全重點(diǎn)實(shí)驗(yàn)室(解放軍信息工程大學(xué));
【基金】：國(guó)家自然科學(xué)基金(61402437) 國(guó)家高技術(shù)研究發(fā)展計(jì)劃(863)(2015AA016006,2012AA012704)~~
【分類號(hào)】：TP309
，

本文編號(hào)：2479506