[發明專利]一種終端應用行為反射的處理方法

有效

• 申請號: 201910498200.7
• 申請日: 2019-06-10
• 公開（公告）號: CN110362301B
• 公開（公告）日: 2021-04-09
• 發明（設計）人: 黃罡;張穎;蔡華謙;劉譞哲
• 申請（專利權）人: 北京大學
• 主分類號: G06F8/35
• 分類號: G06F8/35;G06F8/41
• 代理公司: 北京潤澤恒知識產權代理有限公司 11319
• 代理人: 莎日娜

1.一種終端應用行為反射的處理方法，其特征在于，所述方法包括：

構造所述終端應用的運行時模型，所述運行時模型包括運行時棧模型和運行時堆模型；

基于所述運行時模型，對所述終端應用的應用行為進行控制；

其中：

構造所述終端應用的運行時棧模型的子步驟包括：

在所述終端應用運行時，獲取所述終端應用的內存中真正執行的代碼，并對所述真正執行的代碼進行抽象，生成控制流圖；

針對所述控制流圖，將需要監測的控制流圖輸入至預設的行為解釋器；

利用所述行為解釋器對所述需要監測的控制流圖進行解釋執行，生成所述終端應用運行時的?；顒?；

在所述終端應用運行時，生成所述棧活動的控制流間的依賴關系，得到所述終端應用行為的運行時棧模型；

構造所述終端應用的運行時堆模型的子步驟包括：

在所述終端應用運行時，生成堆區的初始狀態；

生成堆操作活動，得到所述終端應用行為的運行時堆模型；

基于所述運行時模型，對所述終端應用的應用行為進行控制的子步驟包括：

預定義對所述運行時模型的操作以及模型片段在堆、棧區域影響的等價性；

對所述運行時模型保持所述等價性進行轉換，對所述運行時模型進行分解，得到一組可操作的模型片段；

根據分解后的模型片段，建立所述運行時模型與應用狀態和應用代碼的因果關聯，以對所述終端應用行為進行控制。

2.如權利要求1所述的方法，其特征在于，構造所述終端應用的運行時模型前，所述方法包括：

確定類篩選器和活動類型篩選器；其中，所述類篩選器基于包和類名正則匹配的粗粒度篩選，用于去除開發人員不關心的程序活動；所述活動類型篩選器基于活動類型的細粒度篩選，用于去除與開發者不關心的活動類型。

3.如權利要求2所述的方法，其特征在于，所述?；顒拥幕顒宇愋桶ǚ椒ㄩ_始與方法結束，字段讀，數組讀和同步指令；

利用所述行為解釋器對所述需要監測的控制流圖進行解釋執行，生成所述終端應用運行時的?；顒拥淖硬襟E進一步包括：

利用對所述終端應用的應用行為具有監測功能的行為解釋器對所述需要監測的控制流圖進行解釋執行，獲得所述終端應用運行時的活動；

根據所關注的類，利用所述類篩選器對所述終端應用運行時的活動進行粗粒度篩選，生成由所述類引起的?；顒樱?/p>

針對所述?；顒拥幕顒宇愋?，利用所述活動類型篩選器對所述?；顒舆M行細粒度篩選。

4.如權利要求2所述的方法，其特征在于，所述堆操作活動的活動類型包括對象實例化，數組實例化，對象字段寫，數組元素寫，清除活動和壓縮活動；

所述生成堆操作活動的子步驟進一步包括：

根據所關注的類，利用所述類篩選器對所述終端應用運行時的活動進行粗粒度篩選，生成由所述類引起的堆操作活動；

針對所述堆操作活動的活動類型，利用所述活動類型篩選器對所述堆操作活動進行細粒度篩選。

5.如權利要求1所述的方法，其特征在于，所述依賴關系包括同步依賴和通信依賴。

6.如權利要求1所述的方法，其特征在于，對所述終端應用行為進行控制包括對所述終端應用行為進行行為式控制和/或結構式控制。

7.如權利要求6所述的方法，其特征在于，對所述終端應用行為進行行為式控制的步驟包括：

設終端應用的內存初始狀態S，活動序列A；

經過一段時間的執行，獲取運行后的內存狀態為S·A＝S'，對所述運行時模型保持所述等價性進行轉換后的活動序列為A'，得到目標狀態為S·A′＝S″；

利用S·A′＝(S·A)·A″＝S′·A″求解增量活動序列A″，使得A+A″＝A'，完成對所述終端應用行為進行行為式控制的過程。

8.如權利要求7所述的方法，其特征在于，所述增量活動序列A″包括：控制轉移、算術運算、字段讀取、數組讀取、類實例化、數組實例化，字段賦值、數組賦值、線程同步、垃圾回收、方法調用和類加載。