一種基于分布式圖可達(dá)計算的過程間程序靜態(tài)分析方法

基本信息

申請?zhí)?/td> CN202010034402.9 申請日 -
公開（公告）號 CN110851178B 公開（公告）日 2020-05-19
申請公布號 CN110851178B 申請公布日 2020-05-19
分類號 G06F8/75 分類 計算；推算；計數(shù);
發(fā)明人 麥丞程 申請（專利權(quán)）人 江蘇鴻程大數(shù)據(jù)技術(shù)與應(yīng)用研究院有限公司
代理機構(gòu) 北京聯(lián)瑞聯(lián)豐知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 代理人 江蘇鴻程大數(shù)據(jù)技術(shù)與應(yīng)用研究院有限公司
地址 210000 江蘇省南京市江北新區(qū)研創(chuàng)園團結(jié)路99號孵鷹大廈1120室
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種基于分布式圖可達(dá)計算的過程間程序靜態(tài)分析方法，包括以下步驟：（a）將程序表示圖和對應(yīng)分析語法作為算法輸入，圖中傳遞邊根據(jù)源頂點和目標(biāo)頂點進(jìn)行分區(qū)，將連接到同一個節(jié)點的邊移動到同一個分區(qū)中；（b）對不同分區(qū)中的邊執(zhí)行分析語法的標(biāo)簽匹配操作，產(chǎn)生新邊；（c）對新邊進(jìn)行全局和局部去重，保留新生成的傳遞邊；（d）對各分區(qū)進(jìn)行對應(yīng)可達(dá)關(guān)系的添加，重復(fù)（b）?（c），直到不再產(chǎn)生新的傳遞邊為止，得到過程間靜態(tài)分析結(jié)果。本方法能夠提高大規(guī)模程序靜態(tài)分析的性能和可擴展性，促進(jìn)其應(yīng)用與解決實際問題。