Static analysis of context leaks in android applications
Android native applications, written in Java and distributed in APK format, are widely used in mobile devices. Their specific pattern of use lets the operating system control the creation and destruction of key resources, such as activities and services (contexts). Programmers are not supposed to in...
Saved in:
Main Authors: | TOFFALINI, Flavio, SUN, Jun, COHOA, Martín |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2018
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4651 https://ink.library.smu.edu.sg/context/sis_research/article/5654/viewcontent/3183519.3183530.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Encoding version history context for better code representation
by: NGUYEN, Huy, et al.
Published: (2024) -
Static program analysis for detecting privacy leak in Android applications
by: Rishi Marwah
Published: (2014) -
A verification system for interval-based specification languages
by: CHEN, Chunqing, et al.
Published: (2010) -
Verification of population ring protocols in PAT
by: LIU, Yang, et al.
Published: (2009) -
A scalable approach to multi-style architectural modeling and verification
by: WONG, Stephen, et al.
Published: (2008)