Smali<sup>+</sup>: an Operational Semantics for Low-level Code Generated from Reverse Engineering Android Applications<sup>+</sup>

Smali<sup>+</sup>: an Operational Semantics for Low-level Code Generated from Reverse Engineering Android Applications<sup>+</sup>

Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness. Application code analysis is obviously the most appropriate and natural means t...

Full description

Bibliographic Details
Main Authors: Marwa Ziadia, Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Format: Article
Language:English
Published: MDPI AG 2020-02-01
Series:Information
Subjects:
android applications
multi-threading
operational semantics
reverse engineering
smali+
Online Access:https://www.mdpi.com/2078-2489/11/3/130

Internet

https://www.mdpi.com/2078-2489/11/3/130

Similar Items