[發(fā)明專(zhuān)利]一種用于軌跡跟蹤和覆蓋分析的選擇性動(dòng)態(tài)二進(jìn)制插樁方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202210960803.6
• 申請(qǐng)日: 2022-08-11
• 公開(kāi)（公告）號(hào): CN116610554A
• 公開(kāi)（公告）日: 2023-08-18
• 發(fā)明（設(shè)計(jì)）人: 鄒偉;李春雷;鄧霏;胡馳;馬思友;楊萬(wàn)生;仵林博;尚小虎;張浩
• 申請(qǐng)（專(zhuān)利權(quán)）人: 中國(guó)工程物理研究院計(jì)算機(jī)應(yīng)用研究所
• 主分類(lèi)號(hào): G06F11/36
• 分類(lèi)號(hào): G06F11/36
• 代理公司: 暫無(wú)信息
• 代理人: 暫無(wú)信息

1.一種用于軌跡跟蹤和覆蓋分析的選擇性動(dòng)態(tài)二進(jìn)制插樁方法，其特征在于，包括：

分析待插樁目標(biāo)二進(jìn)制碼調(diào)試信息，自動(dòng)標(biāo)記不需要插樁的亞基本塊；

對(duì)不需要分析的文件、函數(shù)、語(yǔ)句塊或庫(kù)中需要插樁的亞基本塊進(jìn)行人工標(biāo)記；

目標(biāo)機(jī)指令翻譯時(shí)，根據(jù)人工標(biāo)記插樁，不插樁未人工標(biāo)記的亞基本塊。

2.如權(quán)利要求1所述的方法，其特征在于，所述分析待插樁目標(biāo)二進(jìn)制碼調(diào)試信息，自動(dòng)標(biāo)記不需要插樁的亞基本塊包括：

讀取待插樁程序的調(diào)試信息，逐一遍歷各編譯單元Line_Prog，生成亞基本塊信息八元組，SBBI:{DIR，F(xiàn)ILE，F(xiàn)UNC，LINE，COLUMN，PC_L，PC_H,?Flag}，其中，DIR為該亞基本塊對(duì)應(yīng)的目錄路徑，F(xiàn)ILE為該亞基本塊對(duì)應(yīng)的文件名，F(xiàn)UNC為該亞基本塊對(duì)應(yīng)的函數(shù)名，LINE為該亞基本塊所在的源文件行號(hào)，COLUMN為該亞基本塊所在的源文件列號(hào)，PC_L和PC_H規(guī)定了該亞基本塊在目標(biāo)碼中指令指針的范圍，F(xiàn)LAG用于標(biāo)記亞基本塊是否需要插樁；

若亞基本塊信息SBBI中的DIR?或FILE為空，則認(rèn)為該亞基本塊無(wú)需插樁；若亞基本塊信息SBBI中LINE為0，則認(rèn)為該亞基本塊無(wú)需插樁；

需要插樁的亞基本塊SBBIi構(gòu)成集合SBBIS。

3.如權(quán)利要求1所述的方法，其特征在于，所述對(duì)不需要分析的文件、函數(shù)、語(yǔ)句塊或庫(kù)中需要插樁的亞基本塊進(jìn)行人工標(biāo)記包括：

根據(jù)待插樁程序的調(diào)試信息，還原待插樁程序的源代碼目錄資源樹(shù)，其中，如若所述調(diào)試信息中的源代碼目錄或文件在用戶本地不存在，用戶可指定其他文件夾為源文件目錄或文件；

用戶可通過(guò)工具軟件選擇標(biāo)記不需要跟蹤和統(tǒng)計(jì)覆蓋信息的目錄、文件、函數(shù)或語(yǔ)句塊，軟件根據(jù)用戶標(biāo)記，將用戶的選擇映射為不需要插樁的亞基本塊集合NSBBIS，則更新SBBIS：SBBIS=SBBIS-NSBBIS。

4.如權(quán)利要求1所述的方法，其特征在于，所述目標(biāo)機(jī)指令翻譯時(shí)，根據(jù)人工標(biāo)記插樁，不插樁未人工標(biāo)記的亞基本塊包括：

目標(biāo)機(jī)程序動(dòng)態(tài)執(zhí)行翻譯成宿主機(jī)程序時(shí)，通過(guò)當(dāng)前翻譯基本塊包含的范圍選取集合SBBIS中的亞基本塊構(gòu)成子集SBBISsub；

如果SBBISsub不為空，則插樁；否則，不插樁；

插樁的內(nèi)容為樁程序；

樁程序的主要功能為：

如果僅進(jìn)行覆蓋分析，則遍歷SBBISsub，標(biāo)記SBBISsub的中的亞基本塊為已執(zhí)行；

如果進(jìn)行軌跡跟蹤，則記錄RangeTB；

如果進(jìn)行故障注入或程序變量監(jiān)視，將樁程序設(shè)計(jì)為腳本解釋器，腳本解釋器提供讀寫(xiě)寄存器和存儲(chǔ)器。