近日,中國科學院軟件研究所智能軟件研究中心研究員武延軍、吳敬征課題組在基于深度神經網絡的靜態代碼分析研究中取得進展。課題組提出了基于多類型和多粒度的語義代碼表示學習模型——MultiCode,解決了工業場景中涉及多需求的開發任務時面臨的開發開銷大、模型集成困難、可擴展性受限等問題,實現了在多需求工業場景下的高效開發和準確預測,在漏洞檢測、代碼克隆檢測等任務中得到了具體實踐,并獲得實際應用。
基于深度神經網絡的靜態代碼分析方法通常在不同代碼分析任務中引入針對性設計,導致模型呈現高度多樣化的態勢。在工業領域,該現象會使開發者在開發涉及多需求的代碼分析平臺時,面臨開發開銷大、模型集成困難、可擴展性受限等問題。
針對上述問題,MultiCode模型能夠學習代碼中多種類型和粒度的語義信息,進而支撐多種代碼分析任務。課題組提出使用抽象語法樹、控制流圖、程序依賴圖等結構,對代碼中不同類型和粒度的語義信息進行建模,并利用樹神經網絡和圖神經網絡分別對不同的語義信息進行處理。在該過程中,MultiCode模型自底向上地先學習語句級別的表示,再基于該表示學習代碼段級別的表示。將該模型作為編碼器進行神經網絡構建,能夠有效適配于不同的代碼分析任務。在漏洞檢測和代碼克隆檢測任務上的評估結果表明,其能夠在不需要重新構建編碼器的情況下,在不同任務中有效地識別并區分不同類別代碼的語義,進而支撐多種任務上的預測。
相關研究成果以MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning為題,發表在軟件可靠性工程國際會議(ISSRE 2021)的Industry Track上,并被評為最佳實踐論文。研究工作得到國家重點研發計劃、國家自然科學基金的支持。
MultiCode基于多類型和多粒度的語義代碼表示學習模型框架
ISSRE 2021最佳實踐論文獎
細胞自噬是一類進化高度保守的溶酶體降解通路,可清除肌肉細胞內積累的蛋白質聚集體和受損細胞器,維持肌肉穩態與完整,其過度激活或不足均會誘發肌肉病變。在肌萎縮側索硬化癥、脊髓性肌萎縮癥等神經源性疾病中,“......
神經元中基因編輯的插圖。圖片來源:杰克遜實驗室哪怕在五年前,人們也會認為在活體大腦中進行DNA修復是科幻小說中才有的情節。但現在,科學家已能進入大腦、修復突變,并讓細胞在整個生命周期中維持住這種修復效......
最近,《神經病學年鑒》(AnnalsofNeurology)發表的一項研究使用多模式測試方法,揭示了目前被認為是正常的維生素B12水平與神經損傷或功能障礙標志物之間的關聯。維生素B12(也稱為鈷胺素)......
2025年2月18日,中國長春吉林大學的研究人員開發了一種高靈敏度、快速且準確的方法,用于分析大鼠脊髓組織中的神經遞質(NTs)。該方法結合了超聲輔助磁離子液體分散液-液微萃取(UA-MIL-DLLM......
2025年1月1日起,汽車對行人的碰撞保護、工業互聯網企業網絡安全、網絡游戲未成年人監護系統、群眾性體育賽事活動安全、無障礙洗浴機、社區生鮮店服務規范等一批重要國家標準開始實施,將為引領傳統產業優化升......
為促進我國糖復合物領域的合作交流,加快國內糖科學的發展,由中國生物化學與分子生物學會糖復合物專業分會主辦、復旦大學/糖復合物衛健委重點實驗室承辦、分析測試百科網協辦的第六屆糖復合物研究前沿網絡學術大會......
俗話說,眼見不一定為實。兩個同樣大小的圓形,位于大圓中間時看上去會較小,而位于小圓中間時看上去則會較大。這就像“筷子里面拔旗桿”,是經典的“艾賓浩斯錯覺”。因此,人類的大小知覺并不總是對物理世界的客觀......
當一只狗抖掉毛上的水時,它的動作不是隨機的一陣亂舞,也不是故意把站在旁邊的人弄濕。事實上,許多毛茸茸的哺乳動物包括鼠、貓、獅、虎和熊等,都有這種本能反射,表現為頭部和上半身的快速振動。這一行為有助于動......
今年以來,上海市市場監管局根據市場監管總局統一部署,組織開展網絡市場監管促發展保安全專項行動,聚焦社會關注度高、涉及面廣、群眾反映強烈的網絡突出問題,嚴格依法依規查處網絡違法經營行為,努力營造風清氣正......
卡塔爾威爾康奈爾醫學院科學家通過分析391名志愿者的血液、尿液和唾液樣本中的數千種分子,繪制出人體及其復雜生理過程的分子圖。這些數據被整合成一個強大的交互式可視化網絡工具,名為“連接組學”。這一工具有......