Detecting Asynchronous Event-Driven Order Violations in Android Apps

该项目旨在开发一种事件交织分析，用于检测Android应用程序中的异步事件驱动顺序违规。因此，该项目希望提供一个程序分析基础，它可以提供比最先进的安全保证更强大的安全保证，以防止滥用此类异步漏洞的高级利用。该项目的预期成果是一个新的程序分析技术和一个行业实力的开源框架，可以显著提高Android在移动软件质量和安全方面的标准，Android是目前占主导地位的智能手机平台，在2019年12月的Google Play上拥有290万个应用程序，市场份额为87.0%。

This project aims to develop an event-interleaving analysis for detecting asynchronous event-driven order violations in Android apps. This project therefore expects to deliver a program analysis foundation that can provide stronger security guarantees than the state of the art against advanced exploits that abuse such asynchronous vulnerabilities. The intended outcomes of this project are a new program analysis technology and an industrial-strength open-source framework that can significantly raise the bar on mobile software quality and security for Android, the dominant smartphone platform accounting a current market share at 87.0% with 2.9 million apps at Google Play in December 2019.