Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications.
Marwa ZiadiaJaouhar FattahiMohamed MejriEmil PricopPublished in: Inf. (2020)
Keyphrases
- reverse engineering
- operational semantics
- low level
- program understanding
- malicious code
- reverse engineer
- dynamic analysis
- software engineering
- software maintenance
- high level
- legacy systems
- formal semantics
- object oriented
- gene regulatory networks
- software evolution
- source code
- mental states
- program slicing
- activity diagrams
- legacy software systems
- data model
- class diagrams
- program comprehension
- natural language
- multi agent