1.基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于包括以下步驟:
2.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟1)中,所述將智能合約sol文件構(gòu)建成智能合約圖,使用的智能合約圖構(gòu)建方法包括智能合約圖抽象語(yǔ)法樹(shù)的構(gòu)建、抽象語(yǔ)法樹(shù)的簡(jiǎn)化以及數(shù)據(jù)流邊和執(zhí)行順序的增加;具體步驟如下:
3.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟2)中,將每個(gè)語(yǔ)義合約圖節(jié)點(diǎn)表示為一個(gè)向量;首先獲取每個(gè)節(jié)點(diǎn)的相鄰節(jié)點(diǎn)列表作為輸入;對(duì)于每個(gè)節(jié)點(diǎn)v,將其相鄰節(jié)點(diǎn)列表表示為集合n(v),然后將其輸入到連續(xù)跳躍元語(yǔ)法(skip-gram)詞向量模型中;具體而言,對(duì)于一個(gè)節(jié)點(diǎn)v,其相鄰節(jié)點(diǎn)集合為n(v),希望最大化給定v的情況下,其相鄰節(jié)點(diǎn)在窗口內(nèi)出現(xiàn)的概率;這個(gè)過(guò)程用以下公式表示:
4.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟3)中,將歐幾里得空間中的向量v映射為黎曼流形上的點(diǎn)q;將這種映射定義為指數(shù)映射:其逆映射定義為對(duì)數(shù)映射:具體為以下公式:
5.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟4)中,所述利用退火混淆圖對(duì)比學(xué)習(xí)方法降低標(biāo)簽噪聲對(duì)整體網(wǎng)絡(luò)的影響,提供一種結(jié)合退火技術(shù)和混淆技術(shù)的圖對(duì)比學(xué)習(xí)創(chuàng)新方法,對(duì)比學(xué)習(xí)主要側(cè)重于區(qū)分正負(fù)樣本對(duì);具體步驟如下:
6.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟5)中,將各個(gè)模塊進(jìn)行異構(gòu)連接,形成一個(gè)端到端學(xué)習(xí)網(wǎng)絡(luò);
7.如權(quán)利要求1所述基于黎曼圖卷積的端到端智能合約漏洞檢測(cè)方法,其特征在于在步驟6)中,利用現(xiàn)實(shí)世界的智能合約文件作為測(cè)試數(shù)據(jù)集對(duì)本系統(tǒng)進(jìn)行性能指標(biāo)的測(cè)試,分別在重入漏洞、算術(shù)漏洞以及時(shí)間戳依賴漏洞上進(jìn)行實(shí)驗(yàn);性能指標(biāo)包括準(zhǔn)確率、精確率、召回率以及f1分?jǐn)?shù)。