一句话：提出开源静态分析工具 CONAN，检测 Android 应用中 16 类最终连接性问题，并在 IDE 中告警或生成报告。
移动应用日益依赖互联网，但在零连接或不稳定连接等复杂场景中，若应用未妥善处理最终连接性问题，可能导致 bug 与崩溃，影响用户体验。尽管已有文献研究此类问题，但仍缺乏自动检测技术。为此，作者开发了开源工具 CONAN，可在源代码层面静态检测 Android 应用中的 16 类最终连接性问题，并通过 IDE 高亮直接提醒开发者，或生成报告说明检测到的错误。论文介绍该工具的技术实现，并提供公开视频与工具链接。摘要未报告大规模实验评估，主要贡献是填补自动检测空白并提供可用工具。
Mobile apps are increasingly used in daily activities. Most apps require Internet connectivity to be fully exploited. Despite the fact that global access to the Internet has improved over the years, there are still complex connectivity scenarios, including situations with zero/unreliable connectivity. In such scenarios, improper handling of Eventual Connectivity Issues may cause bugs and crashes that worsen the user experience. Even though these issues have been studied in the literature, no automatic detection techniques are available. To address the mentioned gap, we have created the open source CONAN tool. CONAN can statically detect 16 types of Eventual Connectivity Issues within Android apps; it works at the source code level and alerts developers of any connectivity issue, highlighting them directly in the IDE or generating a report explaining the detected errors. In this paper, we present the technical aspects and a video of our tool, which are publicly available at https://tinyurl.com/CONAN-lint.
@inproceedings{Mazuera-RozoEEL23,
title = {CONAN: Statically Detecting Connectivity Issues in Android Applications},
author = {Alejandro Mazuera-Rozo and Camilo Escobar-Velásquez and Juan Espitia-Acero and Mario Linares-Vásquez and Gabriele Bavota},
booktitle = {FSE},
year = {2023},
doi = {10.1145/3611643.3613097}
}