SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform
Abstract elided by the publisher.
Related papers
- Static analysis for independent app developers OOPSLA 2014
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- An Experience with Code-Size Optimization for Production iOS Mobile Applications CGO 2021
- LiveDroid: identifying and preserving mobile app state in volatile runtime environments OOPSLA 2020
- ShamDroid: gracefully degrading functionality in the presence of limited resource access OOPSLA 2015
- Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper) ECOOP 2025
- Efficient profile-guided size optimization for native mobile applications CC 2022
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001