Heap Memory Snapshot Assisted Program Analysis for Android Permission Specification.
Lannan LuoPublished in: SANER (2020)
Keyphrases
- data structure
- mobile devices
- main memory
- memory usage
- high level
- memory requirements
- low memory
- formal verification
- limited memory
- memory space
- security policies
- specification language
- formal specification
- access control
- computational power
- genetic algorithm
- smart phones
- conceptual model
- memory size
- learning algorithm