[發(fā)明專利]一種匯編級靜態(tài)路徑剖析方法及裝置

有效

• 申請?zhí)枺?/td>: 201310313989.7
• 申請日: 2013-07-24
• 公開（公告）號: CN103399741A
• 公開（公告）日: 2013-11-20
• 發(fā)明（設(shè)計）人: 朱浩;彭楚;應(yīng)歡;王東輝;洪纓
• 申請（專利權(quán)）人: 中國科學(xué)院聲學(xué)研究所
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 北京億騰知識產(chǎn)權(quán)代理事務(wù)所 11309
• 代理人: 陳霽

1.一種匯編級靜態(tài)路徑剖析方法，其特征在于：

挖掘出匯編程序中全部的基礎(chǔ)閉環(huán)路徑；

挖掘出匯編程序中全部的基礎(chǔ)路徑；

組合基礎(chǔ)閉環(huán)路徑以及基礎(chǔ)路徑完成路徑統(tǒng)計；

對組合后的路徑進行謂詞條件判斷。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于：在所述挖掘出匯編程序中全部的基礎(chǔ)閉環(huán)路徑步驟之前還包括步驟：

統(tǒng)計匯編級控制流圖ACFG中從入口基本塊到出口基本塊的全部靜態(tài)路徑。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于：所述挖掘出匯編程序中全部的基礎(chǔ)閉環(huán)路徑步驟采用窗口比較機制實現(xiàn)。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于：所述挖掘匯編程序中全部的基礎(chǔ)路徑步驟通過深度優(yōu)先算法實現(xiàn)。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于：所述對組合后的路徑進行謂詞條件判斷步驟包括：

為各個推斷寄存器建立一個三值卡諾圖，并沿路徑進行數(shù)值填充，當(dāng)數(shù)據(jù)發(fā)生沖突時，則判定該路徑無效。

6.一種匯編級靜態(tài)路徑剖析裝置，其特征在于包括：

第一計算單元，用于挖掘出匯編程序中全部的基礎(chǔ)閉環(huán)路徑；

第二計算單元，用于挖掘出匯編程序中全部的基礎(chǔ)路徑；

統(tǒng)計單元，用于組合基礎(chǔ)閉環(huán)路徑以及基礎(chǔ)路徑完成路徑統(tǒng)計；

判斷單元，用于對組合后的路徑進行謂詞條件判斷。

7.根據(jù)權(quán)利要求6所述的裝置，其特征在于還包括：

第三計算單元，用于統(tǒng)計匯編級控制流圖ACFG中從入口基本塊到出口基本塊的全部靜態(tài)路徑。