A type and effect system for activation flow of components in Android programs |
| |
Authors: | Kwanghoon Choi Byeong-Mo Chang |
| |
Affiliation: | 1. Yonsei University, Wonju, Republic of Korea;2. Sookmyung Women''s University, Seoul, Republic of Korea |
| |
Abstract: | This paper proposes a type and effect system for analyzing activation flow between components through intents in Android programs. The activation flow information is necessary for all Android analyses such as a secure information flow analysis for Android programs. We first design a formal semantics for a core of featherweight Android/Java, which can address interaction between components through intents. Based on the formal semantics, we design a type and effect system for analyzing activation flow between components and demonstrate the soundness of the system. |
| |
Keywords: | Android Java Program analysis Control flow Formal semantics |
本文献已被 ScienceDirect 等数据库收录! |