專利授權區國立清華大學國際產學營運總中心 Operations Center for Industry Collaboration

搜尋專利授權區

關鍵字

» 新增關鍵字

選單

專利授權區

專利授權區
專利名稱(中)	基於指標之程式之發散分析方法及儲存實現該方法之程式之非短暫之實體讀取媒介
專利家族	中華民國：I496088
專利權人	國立清華大學 100.00%
發明人	王紹仲,李政崑
技術領域	資訊工程

專利摘要(中)
一種方法包含：(1)產生一基於指標程式之一中間表示碼；(2)提供該中間表示碼之控制流程圖；(3)從該中間表示碼選擇一分析目標，作為一追蹤變數和根節點；(4)根據使用-定義鏈及該控制流程圖，決定該追蹤變數之定義場域；(5)為每個定義場域變數定義一節點；(6)使用各定義場域變數與該追蹤變數，定義一邊線；(7)使用各定義場域變數為追蹤變數；重複步驟(4)至(7)，以獲得發散關係圖；將發散關係圖轉變成有向無迴圈圖；及根據一發散節點及該有向無迴圈圖，決定該分析目標是否發散。

專利摘要(中)

一種方法包含：(1)產生一基於指標程式之一中間表示碼；(2)提供該中間表示碼之控制流程圖；(3)從該中間表示碼選擇一分析目標，作為一追蹤變數和根節點；(4)根據使用-定義鏈及該控制流程圖，決定該追蹤變數之定義場域；(5)為每個定義場域變數定義一節點；(6)使用各定義場域變數與該追蹤變數，定義一邊線；(7)使用各定義場域變數為追蹤變數；重複步驟(4)至(7)，以獲得發散關係圖；將發散關係圖轉變成有向無迴圈圖；及根據一發散節點及該有向無迴圈圖，決定該分析目標是否發散。

聯絡資訊
承辦人姓名	李曉琪
承辦人電話	03-5715131 #31061
承辦人Email	hsiaochi@mx.nthu.edu.tw