五月婷婷丁香性爱|j久久一级免费片|久久美女福利视频|中文观看在线观看|加勒比四区三区二|亚洲裸女视频网站|超碰97AV在线69网站免费观看|有码在线免费视频|久久青青日本视频|亚洲国产AAAA

軟件分析

軟件分析Lab介紹

構(gòu)筑最全軟件分析技術(shù)底座,孵化最強軟件分析商業(yè)服務(wù)


軟件分析Lab,致力于圍繞軟件分析領(lǐng)域核心技術(shù)(如源碼分析、二進制程序分析、軟件倉庫挖掘等)持續(xù)聚焦與突破,充分融合圖理論、形式化驗證、大數(shù)據(jù)與AI技術(shù)等周邊技術(shù),面向軟件開發(fā)場景持續(xù)孵化并交付一系列智能化開發(fā)服務(wù),包括但不限于代碼開源成分分析、代碼缺陷檢測與修復(fù)、代碼壞味道識別與重構(gòu)、代碼智能移植、代碼提交與同步、代碼搜索服務(wù)等。

軟件分析研究方向

PaaS技術(shù)創(chuàng)新Lab秉承開發(fā)共贏的理念,愿意與學(xué)術(shù)界和工業(yè)界各位精英就以下研究方向合作,如有意向請聯(lián)系 SALab@huaweicloud.com

  • 缺陷檢查與修復(fù)

    軟件缺陷嚴重威脅著軟件系統(tǒng)質(zhì)量和安全性。靜態(tài)缺陷檢查是保障軟件質(zhì)量和安全性的重要技術(shù)手段,能夠幫助開發(fā)人員在編碼階段盡早發(fā)現(xiàn)問題。但隨著軟件規(guī)模越來越大,對靜態(tài)缺陷檢查技術(shù)也提出了巨大的挑戰(zhàn)。如何進行全面、快速、準確的檢查,如何幫助開發(fā)人員高效地修復(fù)發(fā)現(xiàn)的問題,以及如何有效地獲取大型系統(tǒng)特有的缺陷知識,是三個亟需解決的技術(shù)難題。本研究團隊致力于打造業(yè)界最精準和高效的缺陷檢測與修復(fù)核心引擎,構(gòu)筑自主可控的軟件分析基礎(chǔ)平臺。主要研究方向聚焦在:

    (1)構(gòu)建缺陷檢查能力,覆蓋華為編碼規(guī)范、CWE、MISRA規(guī)范等,看護代碼質(zhì)量和安全性;

    (2)利用增量分析、分布式分析、冗余分析識別等技術(shù)來提高分析效率,減少時間和計算資源開銷;

    (3)利用數(shù)據(jù)挖掘和機器學(xué)習(xí)技術(shù),從大規(guī)模代碼中挖掘缺陷模式及修復(fù)模式。

  • 壞味道檢查與重構(gòu)

    軟件演進過程中不可避免會出現(xiàn)代碼與架構(gòu)的腐化,不斷提升軟件開發(fā)與維護的成本,只有不斷重構(gòu)才能解決此問題,但人為重構(gòu)成本較高且易引入新的問題。本項目基于開源社區(qū)代碼數(shù)據(jù)與特定啟發(fā)式規(guī)則,使用機器學(xué)習(xí),代碼分析與模式挖掘等技術(shù),構(gòu)造代碼壞味道分析、架構(gòu)壞味道分析與代碼重構(gòu)方案智能分析,并提供端到端的代碼重構(gòu)解決方案,輔助開發(fā)人員持續(xù)高效重構(gòu)代碼,旨在打造業(yè)界最領(lǐng)先的壞味道檢測與智能重構(gòu)服務(wù)。本項目已發(fā)表3項技術(shù)發(fā)明專利,在華為公司內(nèi)部重構(gòu)代碼10w+行,重構(gòu)效率提升23%。

  • 開源成分分析

    隨著開源理念的普及以及開源社區(qū)的日益壯大,開源軟件的開發(fā)與使用呈井噴式發(fā)展,這種開發(fā)模式在顯著的提升了研發(fā)效率同時,也引入了合規(guī)和安全的風(fēng)險,如何識別以及治理這些開源成分是一個十分有挑戰(zhàn)的課題。針對這個問題,本項目基于分布式計算,大數(shù)據(jù)處理,彈性調(diào)度等技術(shù),構(gòu)筑全球最完備的開源數(shù)據(jù)集(PB級),實現(xiàn)以周為單位對數(shù)據(jù)的全量處理;基于開源原始數(shù)據(jù),使用軟件分析、數(shù)據(jù)挖掘、深度學(xué)習(xí)等技術(shù),構(gòu)建全量的開源知識庫;在此基礎(chǔ)上,使用代碼克隆、軟件靜態(tài)分析,信息檢索等技術(shù),構(gòu)建開源成分片段引用分析,二進制文件溯源分析,編譯依賴組件分析,許可證合規(guī)分析等軟件成分分析基礎(chǔ)能力,最終提供業(yè)界領(lǐng)先的端到端的開源識別及治理解決方案。

  • 代碼搜索

    隨著開源軟件的發(fā)展,軟件社區(qū)存在著大量優(yōu)質(zhì)的項目。另外,企業(yè)內(nèi)部也積累了許多優(yōu)質(zhì)的代碼。代碼復(fù)用是軟件大數(shù)據(jù)時代的一種普遍現(xiàn)象,可以大大提高研發(fā)效率。本項目利用信息檢索、代碼分析、數(shù)據(jù)挖掘等技術(shù),幫助研發(fā)人員高效獲取代碼資源,促進研發(fā)信息資源的共享與復(fù)用,輔助研發(fā)人員生產(chǎn)效率提升。

  • 三方庫智能移植

    隨著開源社區(qū)及商業(yè)市場的繁榮發(fā)展,各類細分領(lǐng)域已為用戶提供了多種生態(tài)選擇,如桌面應(yīng)用可面向window,linux等os進行開發(fā),移動應(yīng)用可支持面向GMS/HMS, android/harmony等os進行開發(fā)。圍繞上述場景,本項目孵化了一系列智能化生態(tài)遷移能力,支持各類開源三方庫、商業(yè)sdk的智能升級或替換,幫助開發(fā)者快速修復(fù)依賴風(fēng)險問題,從而支持進行多類跨生態(tài)遷移場景,本項目已申請專利3項,發(fā)表頂會論文3篇。

  • 代碼提交與合并

    隨著版本控制的理念以及git工具在研發(fā)過程中的日益普及,代碼的提交、揀選、合并等行為已經(jīng)成為日常開發(fā)中必不可少的環(huán)節(jié),這些行為中有大量的重復(fù)勞動以及協(xié)同工作,如何利用智能化的手段減少研發(fā)過程中的重復(fù)勞動,提升協(xié)同效率是一個日益熱門的領(lǐng)域。本項目將傳統(tǒng)的軟件分析技術(shù)與機器學(xué)習(xí)結(jié)合,提供了智能代碼提交、智能代碼揀選、智能代碼沖突消解等服務(wù),在用戶提交代碼時自動生成提交記錄,揀選特性時提供批量揀選建議,合并代碼時智能消解沖突等能力,從而極大提升代碼提交及同步環(huán)節(jié)工作效率。目前已經(jīng)產(chǎn)出7項專利,2篇top會議論文,其中一篇獲評為ESEC/FSE 2021 Disinguished Parper。