近日，ICSE 2025軟件工程實踐Track放榜，面向OpenAtom OpenHarmony(以下簡稱“OpenHarmony”)的ArkTS程序分析基礎(chǔ)框架--方舟程序分析器(論文題目為《ArkAnalyzer：The Static Analysis Framework for OpenHarmony》)被接收。這是OpenHarmony相關(guān)研究首次在ICSE發(fā)表論文，這篇文章的接收意味著OpenHarmony正式被國際軟件工程研究人員認(rèn)可，為學(xué)術(shù)界研究OpenHarmony提供了參考。

方舟程序分析器由北京航空航天大學(xué)黎立教授主導(dǎo)，在北航軟件學(xué)院院長胡春明教授的指導(dǎo)下，聯(lián)合華為終端軟件架構(gòu)設(shè)計部共同開發(fā)。目前，方舟程序分析器已經(jīng)依托OpenHarmony程序分析SIG(由黎立老師主導(dǎo)創(chuàng)建)在官方社區(qū)啟動開源孵化。

方舟程序分析器的設(shè)計初衷是為OpenHarmony生態(tài)構(gòu)建一個程序分析框架，由于OpenHarmony采用了新語言ArkTS，導(dǎo)致現(xiàn)有的程序分析框架無法直接分析OpenHarmony應(yīng)用，因此開發(fā)一個專門針對OpenHarmony應(yīng)用的靜態(tài)分析框架顯得尤為重要。為了支撐OpenHarmony生態(tài)發(fā)展，OpenHarmony社區(qū)需要一款通用的程序分析技術(shù)底座，因此方舟分析器應(yīng)運而生。

方舟程序分析器的整體架構(gòu)(簡化版)如下圖所示，它已經(jīng)具備了多種能力，包括但不限于：控制流分析，深入挖掘代碼邏輯，識別代碼執(zhí)行順序; 三地址碼生成，簡化代碼結(jié)構(gòu)，為進(jìn)一步分析打下堅實基礎(chǔ); 調(diào)用圖分析，精確追蹤函數(shù)調(diào)用關(guān)系，識別潛在的性能瓶頸和安全風(fēng)險; 類型推導(dǎo)，智能識別數(shù)據(jù)類型，提升代碼質(zhì)量和維護(hù)效率等。基于這些基礎(chǔ)分析能力，ArkAnalyzer能實現(xiàn)特定API檢測、空指針分析等多項實用的代碼檢測工具，幫助開發(fā)者提高代碼質(zhì)量和安全性。

隨著OpenHarmony生態(tài)系統(tǒng)的不斷發(fā)展，期待方舟程序分析器作為OpenHarmony應(yīng)用程序分析的框架，在未來發(fā)揮更大的作用。方舟程序分析器不僅將持續(xù)進(jìn)化以適應(yīng)不斷變化的開發(fā)需求和技術(shù)進(jìn)步，還將成為更多創(chuàng)新程序分析工具的基礎(chǔ)平臺。歡迎全球開發(fā)者共同參與方舟程序分析器的擴(kuò)展與完善，推動靜態(tài)分析技術(shù)的發(fā)展。更多信息可通過查詢論文或者訪問開源網(wǎng)址https://gitee.com/openharmony-sig/arkanalyzer，期待廣大開發(fā)者加入，共同參與和完善方舟程序分析器。

論文具體信息如下

題目：ArkAnalyzer:The Static Analysis Framework for OpenHarmony作者：第一作者為北京航空航天大學(xué)軟件學(xué)院碩士生陳浩楠，作者還包括北京航空航天大學(xué)陳岱杭、楊逸卓、周鳴一，胡春明教授、黎立教授等。