摘要
?本發明提供一種針對軟體程式之變數推論系統及方法。該推論系統及方法針對一軟體程式之複數第一基本區塊計算對應至一未知變數之一第一變數型別輸出,根據該等第一變數型別輸出針對該軟體程式之一第二基本區塊計算對應至該未知變數之一第二變數型別輸入,於該第二基本區塊中包含對應至該未知變數之一原始指令時,計算對應至該未知變數之一第二變數型別生成,計算對應至該未知變數之一第二變數型別刪除,以及根據該第二變數型別輸入、該第二變數型別生成、該第二變數型別刪除,針對該第二基本區塊計算對應至該未知變數之一第二變數型別輸出。
技術分類
電子數位資料處理