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

Saved in:
Bibliographic Details
Main Authors: 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.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2017.00178
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items