Symbolic execution based control flow graph extraction method for Android native codes

Symbolic execution based control flow graph extraction method for Android native codes

A symbolic execution based method was proposed to automatically extract control flow graphs from native libraries of Android applications.The proposed method can provide execution environments for functions in native libraries,simulate JNI function call processes and solve symbols using constraint s...

Full description

Bibliographic Details
Main Author: Hui-ying YAN,Zhen-ji ZHOU,Li-fa WU,Zheng HONG,He SUN
Format: Article
Language:English
Published: POSTS&TELECOM PRESS Co., LTD 2017-07-01
Series:网络与信息安全学报
Subjects:
control flow graph
android application
native code
symbolic execution
Online Access:http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2017.00178

Internet

http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2017.00178

Similar Items