OpenHarmony程序分析框架论文入选ICSE 2025

近日，ICSE 2025软件工程实践Track放榜，面向OpenAtom OpenHarmony(以下简称“OpenHarmony”)的ArkTS程序分析基础框架--方舟程序分析器(论文题目为《ArkAnalyzer：The Static Analysis Framework for OpenHarmony》)被接收。这是OpenHarmony相关研究首次在ICSE发表论文，这篇文章的接收意味着OpenHarmony正式被国际软件工程研究人员认可，为学术界研究OpenHarmony提供了参考。

方舟程序分析器由北京航空航天大学黎立教授主导，在北航软件学院院长胡春明教授的指导下，联合华为终端软件架构设计部共同开发。目前，方舟程序分析器已经依托OpenHarmony程序分析SIG(由黎立老师主导创建)在官方社区启动开源孵化。

方舟程序分析器的设计初衷是为OpenHarmony生态构建一个程序分析框架，由于OpenHarmony采用了新语言ArkTS，导致现有的程序分析框架无法直接分析OpenHarmony应用，因此开发一个专门针对OpenHarmony应用的静态分析框架显得尤为重要。为了支撑OpenHarmony生态发展，OpenHarmony社区需要一款通用的程序分析技术底座，因此方舟分析器应运而生。

方舟程序分析器的整体架构(简化版)如下图所示，它已经具备了多种能力，包括但不限于：控制流分析，深入挖掘代码逻辑，识别代码执行顺序; 三地址码生成，简化代码结构，为进一步分析打下坚实基础; 调用图分析，精确追踪函数调用关系，识别潜在的性能瓶颈和安全风险; 类型推导，智能识别数据类型，提升代码质量和维护效率等。基于这些基础分析能力，ArkAnalyzer能实现特定API检测、空指针分析等多项实用的代码检测工具，帮助开发者提高代码质量和安全性。

随着OpenHarmony生态系统的不断发展，期待方舟程序分析器作为OpenHarmony应用程序分析的框架，在未来发挥更大的作用。方舟程序分析器不仅将持续进化以适应不断变化的开发需求和技术进步，还将成为更多创新程序分析工具的基础平台。欢迎全球开发者共同参与方舟程序分析器的扩展与完善，推动静态分析技术的发展。更多信息可通过查询论文或者访问开源网址https://gitee.com/openharmony-sig/arkanalyzer，期待广大开发者加入，共同参与和完善方舟程序分析器。

论文具体信息如下

题目：ArkAnalyzer:The Static Analysis Framework for OpenHarmony作者：第一作者为北京航空航天大学软件学院硕士生陈浩楠，作者还包括北京航空航天大学陈岱杭、杨逸卓、周鸣一，胡春明教授、黎立教授等。