主要職責(zé)
中國(guó)科學(xué)院貫徹落實(shí)黨中央關(guān)于科技創(chuàng)新的方針政策和決策部署,在履行職責(zé)過(guò)程中堅(jiān)持黨中央對(duì)科技工作的集中統(tǒng)一領(lǐng)導(dǎo)。主要職責(zé)是:
一、開(kāi)展使命導(dǎo)向的自然科學(xué)領(lǐng)域基礎(chǔ)研究,承擔(dān)國(guó)家重大基礎(chǔ)研究、應(yīng)用基礎(chǔ)研究、前沿交叉共性技術(shù)研究和引領(lǐng)性顛覆性技術(shù)研究任務(wù),打造原始創(chuàng)新策源地。 更多+
院況簡(jiǎn)介
中國(guó)科學(xué)院是國(guó)家科學(xué)技術(shù)界最高學(xué)術(shù)機(jī)構(gòu)、國(guó)家科學(xué)技術(shù)思想庫(kù),自然科學(xué)基礎(chǔ)研究與高技術(shù)綜合研究的國(guó)家戰(zhàn)略科技力量。
1949年,伴隨著新中國(guó)的誕生,中國(guó)科學(xué)院成立。建院70余年來(lái),中國(guó)科學(xué)院時(shí)刻牢記使命,與科學(xué)共進(jìn),與祖國(guó)同行,以國(guó)家富強(qiáng)、人民幸福為己任,人才輩出,碩果累累,為我國(guó)科技進(jìn)步、經(jīng)濟(jì)社會(huì)發(fā)展和國(guó)家安全作出了不可替代的重要貢獻(xiàn)。 更多+
院領(lǐng)導(dǎo)集體
機(jī)構(gòu)設(shè)置
科技獎(jiǎng)勵(lì)
科技期刊
工作動(dòng)態(tài)/ 更多
科普?qǐng)鲳^/ 更多
工作動(dòng)態(tài)/ 更多
工作動(dòng)態(tài)/ 更多
中國(guó)科學(xué)院學(xué)部
中國(guó)科學(xué)院院部
語(yǔ)音播報(bào)
近日,中國(guó)科學(xué)院軟件研究所團(tuán)隊(duì)提出了基于軟硬件結(jié)合設(shè)計(jì)的高性能多標(biāo)簽數(shù)據(jù)流分析方案,為解決實(shí)際應(yīng)用的數(shù)據(jù)流分析性能瓶頸提供了新思路。
數(shù)據(jù)流分析是軟件分析的基礎(chǔ)性方法之一,廣泛用于軟件安全性分析、漏洞挖掘等研究。當(dāng)前主流的數(shù)據(jù)流分析方案多為單標(biāo)簽分析,僅能判斷數(shù)據(jù)是否來(lái)源于被標(biāo)記的數(shù)據(jù)源,而無(wú)法區(qū)分?jǐn)?shù)據(jù)具體來(lái)源的字節(jié)位置。在需要細(xì)粒度追蹤的場(chǎng)景中,必須明確程序中每個(gè)受影響字節(jié)的具體來(lái)源,因而需要多標(biāo)簽分析能力。但是,實(shí)現(xiàn)多標(biāo)簽分析需重新設(shè)計(jì)標(biāo)簽的記錄、管理與計(jì)算機(jī)制,其復(fù)雜度高于單標(biāo)簽方案,且缺乏能適用于大規(guī)模軟件系統(tǒng)的解決方案。
針對(duì)上述問(wèn)題,研究團(tuán)隊(duì)提出了軟硬件系統(tǒng)結(jié)合的多標(biāo)簽分析方案MulcoTaint。該方案基于CPU流水線(xiàn)和協(xié)處理器架構(gòu),將程序執(zhí)行邏輯和數(shù)據(jù)流分析邏輯分離,并通過(guò)將數(shù)據(jù)流標(biāo)簽計(jì)算向量化,利用專(zhuān)用協(xié)處理器進(jìn)行硬件加速。同時(shí),團(tuán)隊(duì)在軟件層面設(shè)計(jì)了配套機(jī)制,使其能夠支持二進(jìn)制/源碼的字節(jié)級(jí)多標(biāo)簽數(shù)據(jù)流分析。
研究團(tuán)隊(duì)面向RISC-V指令集,基于開(kāi)源RISC-V處理器與SoC生成框架Rocket Chip,在現(xiàn)場(chǎng)可編程門(mén)陣列(FPGA)上完成MulcoTaint方案并進(jìn)行了實(shí)驗(yàn)驗(yàn)證。結(jié)果顯示,MulcoTaint的平均性能開(kāi)銷(xiāo)僅為T(mén)aintRabbit工具的1/136,是PANDA系統(tǒng)平均性能開(kāi)銷(xiāo)的1/1117,顯著提升了數(shù)據(jù)流分析能力和效率。
未來(lái),MulcoTaint方案有望被引入到處理器架構(gòu)設(shè)計(jì)中,為新型程序分析能力和安全機(jī)制設(shè)計(jì)提供基礎(chǔ)性支撐。
相關(guān)論文被網(wǎng)絡(luò)安全領(lǐng)域頂級(jí)會(huì)議USENIX Security 2026錄用。研究工作得到國(guó)家自然科學(xué)基金等的支持。

MulcoTaint分析系統(tǒng)架構(gòu)

MulcoTaint分析性能效果
掃一掃在手機(jī)打開(kāi)當(dāng)前頁(yè)
© 1996 - 中國(guó)科學(xué)院 版權(quán)所有 京ICP備05002857號(hào)-1
京公網(wǎng)安備110402500047號(hào) 網(wǎng)站標(biāo)識(shí)碼bm48000002
地址:北京市西城區(qū)三里河路52號(hào) 郵編:100864
電話(huà): 86 10 68597114(總機(jī)) 86 10 68597289(總值班室)








