Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.05798 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913645737279488 |
|---|---|
| author | Chen, Haonan Chen, Daihang Yang, Yizhuo Xu, Lingyun Gao, Liang Zhou, Mingyi Hu, Chunming Li, Li |
| author_facet | Chen, Haonan Chen, Daihang Yang, Yizhuo Xu, Lingyun Gao, Liang Zhou, Mingyi Hu, Chunming Li, Li |
| contents | ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from performance-related code smells or vulnerabilities, the ArkTS programming language will likely encounter the same problems. The solution given by our research community is to invent static analyzers, which are often implemented on top of a common static analysis framework, to detect and subsequently repair those issues automatically. Unfortunately, such an essential framework is not available for the OpenHarmony community yet. Existing program analysis methods have several problems when handling the ArkTS code. To bridge the gap, we design and implement a framework named ArkAnalyzer and make it publicly available as an open-source project. Our ArkAnalyzer addresses the aforementioned problems and has already integrated a number of fundamental static analysis functions that are ready to be reused by developers to implement OpenHarmony |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_05798 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ArkAnalyzer: The Static Analysis Framework for OpenHarmony Chen, Haonan Chen, Daihang Yang, Yizhuo Xu, Lingyun Gao, Liang Zhou, Mingyi Hu, Chunming Li, Li Software Engineering ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from performance-related code smells or vulnerabilities, the ArkTS programming language will likely encounter the same problems. The solution given by our research community is to invent static analyzers, which are often implemented on top of a common static analysis framework, to detect and subsequently repair those issues automatically. Unfortunately, such an essential framework is not available for the OpenHarmony community yet. Existing program analysis methods have several problems when handling the ArkTS code. To bridge the gap, we design and implement a framework named ArkAnalyzer and make it publicly available as an open-source project. Our ArkAnalyzer addresses the aforementioned problems and has already integrated a number of fundamental static analysis functions that are ready to be reused by developers to implement OpenHarmony |
| title | ArkAnalyzer: The Static Analysis Framework for OpenHarmony |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2501.05798 |