近日，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作者：第一作者為北京航空航天大學軟件學院碩士生陳浩楠，作者還包括北京航空航天大學陳岱杭、楊逸卓、周鳴一，胡春明教授、黎立教授等。