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

Similar Items

Symbolic execution based control flow graph extraction method for Android native codes
by: Hui-ying YAN, et al.
Published: (2017-07-01)

Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution
by: Near, Joseph P., et al.
Published: (2014)

Metrics for code obfuscation based on symbolic execution and N-scope complexity
by: Yuqiang XIAO, Yunfei GUO, Yawen WANG
Published: (2022-12-01)

Metrics for code obfuscation based on symbolic execution and N-scope complexity
by: Yuqiang XIAO, et al.
Published: (2022-12-01)

Refactoring Android Source Code Smells From Android Applications
by: Muhammad Fawad, et al.
Published: (2025-01-01)

Security protocol code analysis method combining model learning and symbolic execution
by: Xieli ZHANG, et al.
Published: (2021-10-01)

Performance Comparison of Native and Hybrid Android Mobile Applications Based on Sensor Data-Driven Applications Based on Bluetooth Low Energy (BLE) and Wi-Fi Communication Architecture
by: Aleksander Kaczmarczyk, et al.
Published: (2022-06-01)

Acteve++: An Improved Android Application Automatic Tester Based on Acteve
by: Jiawei Qin, et al.
Published: (2019-01-01)

QR Code Reader pada Smartphone Android untuk Aplikasi Layanan Restoran
by: Dennise Adrianto, et al.
Published: (2015-06-01)

DLCDroid an android apps analysis framework to analyse the dynamically loaded code
by: Rati Bhan, et al.
Published: (2025-01-01)

SENinja: A symbolic execution plugin for Binary Ninja
by: Luca Borzacchiello, et al.
Published: (2022-12-01)

Aplikasi Wisata Berplatform Android dengan Teknologi QR Code
by: Afan Galih Salman
Published: (2013-12-01)

Native language as an ethnic symbol Serbs in Timisoara
by: Pavlović Mirjana P.
Published: (2004-01-01)

Binary Analysis Using Symbolic Execution
by: I. O. Leoshkevich
Published: (2010-03-01)

RANCANG BANGUN APLIKASI KKN SUKA MOBILE BERBASIS ANDROID
by: Aulia Faqih Rifa’i, et al.
Published: (2021-02-01)

Patch-Related Vulnerability Detection Based on Symbolic Execution
by: Weizhong Qiang, et al.
Published: (2017-01-01)

Employee Attendance Application Using QR Code Android-Based at Eria Hospital Pekanbaru
by: Muhammad Iqbal Fachry Krisbudiana, et al.
Published: (2023-02-01)

Android Malware Detection Based on Behavioral-Level Features with Graph Convolutional Networks
by: Qingling Xu, et al.
Published: (2023-11-01)

Android Malware Detection Based on Structural Features of the Function Call Graph
by: Yang Yang, et al.
Published: (2021-01-01)

An Empirical Investigation on the Effect of Code Smells on Resource Usage of Android Mobile Applications
by: Mohammad A. Alkandari, et al.
Published: (2021-01-01)

A Method of Analysis of Multithreaded Applications Based on Symbolic Execution
by: Ilya Viktorovich Arzamartsev, et al.
Published: (2014-12-01)

A Determined Algorithm of Code Analysis of Commodity Software
by: Ilya Viktorovich Arzamartsev, et al.
Published: (2013-12-01)

Symbolic execution optimization method based on input constraint
by: Sunlyu WANG, et al.
Published: (2019-03-01)

Exploiting Binary-Level Code Virtualization to Protect Android Applications Against App Repackaging
by: Zhongkai He, et al.
Published: (2019-01-01)

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
by: Aleksandr V. Misonizhnik, et al.
Published: (2022-10-01)

Penerapan QR Code pada Presensi Seminar Kerja Praktek Teknik Informatika Unwahas Berbasis Android
by: Nugroho Eko Budiyanto, et al.
Published: (2021-10-01)

Android Malware Family Classification and Analysis: Current Status and Future Directions
by: Fahad Alswaina, et al.
Published: (2020-06-01)

Program Complexity Analysis Method Combining Evolutionary Algorithm with Symbolic Execution
by: ZHOU Sheng-yi, ZENG Hong-wei
Published: (2021-12-01)

A Comprehensive Analysis of the Android Permissions System
by: Iman M. Almomani, et al.
Published: (2020-01-01)

(Re)production of symbolic boundaries between native and non-native teachers in the TESOL profession
by: Natalia Wright
Published: (2022-01-01)

Employing Dynamic Symbolic Execution for Equivalent Mutant Detection
by: Ahmed S. Ghiduk, et al.
Published: (2019-01-01)

Static-analysis-based event input generation approach for Android application
by: Yi-lin YE,Zhen-ji ZHOU,Zheng HONG,Hui-ying YAN,Li-fa WU
Published: (2017-06-01)

Static-analysis-based event input generation approach for Android application
by: Yi-lin YE, et al.
Published: (2017-06-01)

Application System for Checking Halal Product Status Using QR-Code Based on Android and Web
by: Hidayat Hidayat, et al.
Published: (2022-05-01)

Legal Dictionary Menggunakan Aplikasi Android
by: Nia Ekawati, et al.
Published: (2018-08-01)

Controlling Android Based Smart Phone in Sindhi
by: Rama Shahani, et al.
Published: (2022-05-01)

Android Based Online Computer Technician Application
by: Mawa Faqu Rochman, et al.
Published: (2023-06-01)

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
by: Abdalla Wasef Marashdih, et al.
Published: (2021-06-01)

Implementasi dan Evaluasi Penerimaan Sistem Presensi Siswa LKP dengan QR Code Berbasis Android
by: Sri Widiyanti, et al.
Published: (2021-05-01)

Balochi Speech Recognition using Android Based Smart Phone
by: Abida Shar, et al.
Published: (2022-04-01)