2 papers
cs.SE2026
Context-Sensitive Pointer Analysis for ArkTS
Yizhuo Yang, Lingyun Xu, Mingyi Zhou +1
Current call graph generation methods for ArkTS, a new programming language for OpenHarmony, exhibit precision limitations when supporting advanced static analysis tasks such as da…
cs.SE2025
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
Haonan Chen, Daihang Chen, Yizhuo Yang +5
ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from pe…