Presentation Date: Feb 14, 2026
AGSA Abstract
Despite over 3.5 million Android apps and 200+ million Android Auto-compatible vehicles, only a few hundred apps support Android Auto due to platform-specific compliance requirements. Android Auto mandates service-based architectures in which the vehicle sys- tem invokes app callbacks to render the UI and handle interactions, which is fundamentally different from standard Activity-based An- droid development. Through an empirical study analysis of 98 issues across 14 Android Auto app repositories, we identified three major compliance failure categories: media playback errors, UI render- ing issues, and voice command integration failures in line with mandatory requirements for integrating Android Auto support. We introduce AutoComply, a static analysis framework capable of detecting these compliance violations through the specialized anal- ysis of platform-specific requirements. AutoComply constructs a Car-Control Flow Graph (CCFG) extending traditional control flow analysis to model the service-based architecture of Android Auto apps. Evaluating AutoComply on 31 large-scale open-source apps, it detected 27 violations (13×more than Android Lint), while no false positives were observed, achieving 2×faster analysis. Devel- opers have acknowledged 14 of these violations with 8 fixes already implemented, validating AutoComply’s practical effectiveness.