一種程序比對(duì)方法及系統(tǒng)

基本信息

申請(qǐng)?zhí)?/td> CN202011331214.9 申請(qǐng)日 -
公開(kāi)（公告）號(hào) CN112379922B 公開(kāi)（公告）日 2022-07-05
申請(qǐng)公布號(hào) CN112379922B 申請(qǐng)公布日 2022-07-05
分類(lèi)號(hào) G06F8/75（2018.01）I;G06F8/74（2018.01）I;G06K9/62（2022.01）I;G06N3/04（2006.01）I;G06N3/08（2006.01）I 分類(lèi) 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 楊燦;劉劍;劉媛;羅夢(mèng)霞;龔曉銳;劉寶旭 申請(qǐng)（專(zhuān)利權(quán)）人 中國(guó)科學(xué)院信息工程研究所
代理機(jī)構(gòu) 北京路浩知識(shí)產(chǎn)權(quán)代理有限公司 代理人 -
地址 100093北京市海淀區(qū)閔莊路甲89號(hào)
法律狀態(tài) -

摘要

摘要 本發(fā)明提供一種程序比對(duì)方法及系統(tǒng)，該方法包括：分別建立目標(biāo)程序?qū)?yīng)的目標(biāo)函數(shù)調(diào)用圖和待比對(duì)程序?qū)?yīng)的待比對(duì)函數(shù)調(diào)用圖；獲取目標(biāo)函數(shù)調(diào)用圖中的目標(biāo)錨點(diǎn)和待比對(duì)函數(shù)調(diào)用圖中的待比對(duì)錨點(diǎn)；獲取目標(biāo)錨點(diǎn)對(duì)應(yīng)的目標(biāo)邊和待比對(duì)錨點(diǎn)對(duì)應(yīng)的待比對(duì)邊，將目標(biāo)邊另一端的函數(shù)節(jié)點(diǎn)重新作為目標(biāo)錨點(diǎn)，將待比對(duì)邊另一端的函數(shù)節(jié)點(diǎn)重新作為待比對(duì)錨點(diǎn)，重復(fù)上述過(guò)程，直到獲取所有的對(duì)齊錨點(diǎn)；根據(jù)目標(biāo)函數(shù)調(diào)用圖和待比對(duì)函數(shù)調(diào)用圖中的所有對(duì)齊錨點(diǎn)，判斷目標(biāo)程序和待比對(duì)程序之間是否具有相同的執(zhí)行邏輯。本發(fā)明通過(guò)采用程序的函數(shù)調(diào)用圖和神經(jīng)網(wǎng)絡(luò)技術(shù)來(lái)對(duì)子圖中的邊進(jìn)行嵌入式表示，實(shí)現(xiàn)了程序的自動(dòng)比對(duì)。