Reversing Obfuscated Control Flow Structures in Android Apps using ReDex Optimizer.
Geunha YouGyoosik KimJihyeon ParkSeong-Je ChoMinkyu ParkPublished in: SMA (2020)
Keyphrases
- control flow
- data flow
- mobile applications
- android platform
- mobile platforms
- mobile apps
- process model
- software testing
- query optimization
- mobile devices
- formal semantics
- development tools
- reverse engineering
- transition systems
- business process models
- reactive systems
- workflow management systems
- mobile platform
- modeling language
- mobile phone
- stream processing
- cooperative
- smart phones
- data model
- relational databases