OpenHarmony程序分析框架論文入選ICSE 2025

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

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

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

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

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

論文具體信息如下

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