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

Autor:	Hui-ying YAN,Zhen-ji ZHOU,Li-fa WU,Zheng HONG,He SUN
Jazyk:	English<br />Chinese
Rok vydání:	2017
Předmět:	control flow graph android application native code symbolic execution Electronic computers. Computer science QA75.5-76.95
Zdroj:	网络与信息安全学报, Vol 3, Iss 7, Pp 33-46 (2017)
Druh dokumentu:	article
ISSN:	2096-109x 2096-109X
DOI:	10.11959/j.issn.2096-109x.2017.00178
Popis:	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 solver.A control flow graph extraction prototype system named CFGNative was implemented.The experiment results show that CFGNative can accurately distinguish all the JNI function calls and native methods of the representative example,and reach high code coverage within acceptable time.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/903688151a6b4de2b74da7d77076f309 Zobrazit plný text záznamu View record in DOAJ