基于即时编译的动态污点跟踪优化-吴泽智 , 陈性元 , 杨智 , 杜学绘.pdf

上善若水

440

16页

0次

2022-05-20

免费下载

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn

Journal of Software,2017,28(8):2064−2079 [doi: 10.13328/j.cnki.jos.005126] http://www.jos.org.cn

©. Tel: +86-10-62562563

∗

1,2

1,3

( , 450001)

(( ), 100094)

(( ), 450001)

: , E-mail: chxy302@vip.sina.com

: , .

., ,; ,

, ; ,

. , ,

38%, 6.8%.

: ; ; ; ;

: TP311

: , ,, . .,2017,28(8):2064 −2079. http://

www.jos.org .cn/1000-9825/5126 .htm

: Wu ZZ, Chen XY, Yang Z, Du XH. Dynamic taint tracking optimization on just-in-time compilation. Ruan Jian

Xue Bao/Journal of Software, 2017,28(8):2064−2079 (in Chinese). http://www.jos.org.cn/1000-9825/5126.htm

Dynamic Taint Tracking Optimization on Just-in-Time Compilation

WU Ze-Zhi

1,2

, CHEN Xing-Yuan

1,2

, YANG Zhi

1,3

, DU Xue-Hui

1,3

(Third College, PLA Information Engineering University, Zhengzhou 450001, China)

(State Key Laboratory of Cryptology (Beijing Academy of Information Science and Technology), Beijing 100094, China)

(He’nan Province Key Laboratory of Information Security (PLA Information Engineering University), Zhengzhou 450001, China)

Abstra ct : Despite the demonstrated usefulness of dynamic taint tracking techniques in mobile privacy security, poor performance

attained by prototypes is a big problem. A novel optimization methodology for dynamic taint tracking b ased on just-in-ti me compilation is

presented. First, the taint propagation logic is separated from the program logic precisely to simplifying the complexity of the taint

propagation analysis. Then, a taint propagation framework is proposed and the correctness of the taint propagation analysis is

proved. .Finally, redundant and inefficient taint propagation codes are transferred to efficient and equivalent codes by adopting the

methods of eliminating, replacing and moving. Experimental results show that 38% of memory usage and the time of execution of tain t

tracking instructions are saved for every single hot trace, and on average the performance of dynamic taint tracking system is improved

6.8%.

Key words: Android; privacy s ecurity; d ynamic t aint tracking; ju st-in-ti me compiler; t aint pr opagation opt imization

∗ : (61402437); (863)(2015AA016006, 2012AA012704)

Foundation item: National Natural Science Foundation of China (61402437); National High-Tech R&D Program of China (863)

(2015AA016006, 2012AA012704)

: 2015-05-07; : 2015-12-22, 2016-07-15; : 2016-08-10; jos : 2016-10-11

CNKI : 2016-10-12 16:26:36, http://www.cnki.net/kcms/d etail/11.2560.TP.20161012.1626.005.html

2065

. , ,

[1]

., ,

, . , ,

, .

, .,

, . ,

, ,

[2]

. ,

[3] [4]

[5]

. ,

[6]

[7]

. ,. ,

[8,9]

. , Asbestos

[10]

,Flume

[11]

GPTM

[12]

. , ,TaintCheck 20 ~30 .

5 .

• , ,

[13,14]

: , ,

[15]

CPU , ; ,

[16]

.ShadowReplica

[17]

CPU , CPU .

, . , MIR(middle intermediate

representation) LIR(low-level intermediate representation) ,

LIR ,

• , , :

, ,

. [18] , DAG(direct acyclic graph)

. [19] ,

, .

profile , , .

• ,

[20,21]

, . .

• , ,

[22,23]

. , , ,

• , . valgrind , :

tree IR,

tree IR flat IR, flat IR , ,

flat IR . valgrind , flat IR

.Lift

[24]

Fast-Path,Merged Check Fast Switch . libdft

[25]

of 16

免费下载

软件学报计算机技术

关注

评论