ArkAnalyzer is a Soot-alike framework that is dedicatedly designed for statically analyzing OpenHarmony apps, which should be developed by using the ArkTS programming language. As shown in the figure on the right, ArkAnalyzer has already integrated a number of fundamental static analysis functions (e.g., control-flow graph constructions, call graph constructions, etc.) that are ready to be reused by developers to implement OpenHarmony-related App analyzers focusing on issues that could be resolved statically such as performance bug detection, privacy leaks detection, compatibility issues detection, etc.

Soot is the premier open-source framework for analyzing and transforming Java and Android applications. By now, researchers and practitioners from around the world use Soot to analyze, instrument, optimize and visualize Java and Android applications.

Resources for Learning and Using ArkAnalyzer

Publication

The ArkAnalyzer paper has been presented at the SEIP track of ICSE 2025. If you are benefiting from ArkAnalyzer, please consider acknowledge the usage of the tool by citing the following article:

@article{chen2025arkanalyzer,
title={ArkAnalyzer: The Static Analysis Framework for OpenHarmony Apps},
author={Chen, Haonan and Chen, Daihang and Yang, Yizhuo and Xu, Lingyun and Gao, Liang and Zhou, Mingyi and Hu, Chunming and Li, Li},
journal={Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, SEIP Track},
year={2025}
}

Usages of ArkAnalyzer

Please let us know if you are using ArkAnalyzer. We are happy to include your work into the following list.