ArkAnalyzer: The Static Analysis Framework for OpenHarmony. - Haonan Chen; Daihang Chen; Yizhuo Yang 005; Lingyun Xu; Liang Gao; Mingyi Zhou; Chunming Hu; Li Li 029 (SEIP@ICSE, 2025)