【摘要】：動態(tài)污點跟蹤技術展現(xiàn)了在移動隱私保護方面的強大功能,但存在系統(tǒng)性能較低問題.提出了一種基于即時編譯的動態(tài)污點傳播優(yōu)化方法.首先,將程序邏輯精確抽象為污點傳播邏輯,簡化污點傳播分析復雜性;然后,提出了一個污點傳播框架,并證明了在該框架下污點傳播分析的正確性和有效性;最后,采用消除、替換和移動等方法將冗余低效的污點傳播代碼轉(zhuǎn)化為高效等價的污點傳播代碼.實驗結(jié)果表明,經(jīng)過優(yōu)化后,單條熱路徑的污點傳播代碼節(jié)省了38%的內(nèi)存占用和指令執(zhí)行時間,系統(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.
【作者單位】： 解放軍信息工程大學三院;密碼科學技術國家重點實驗室(北京信息科學技術研究院);河南省信息安全重點實驗室(解放軍信息工程大學);
【基金】：國家自然科學基金(61402437) 國家高技術研究發(fā)展計劃(863)(2015AA016006,2012AA012704)~~
【分類號】：TP309
，

本文編號：2479506