2015.01.13
摘要
本發明提供一種針對軟體程式之變數推論系統及方法。該推論系統及方法針對一軟體程式之複數第一基本區塊計算對應至一未知變數之一第一變數型別輸出，根據該等第一變數型別輸出針對該軟體程式之一第二基本區塊計算對應至該未知變數之一第二變數型別輸入，於該第二基本區塊中包含對應至該未知變數之一原始指令時，計算對應至該未知變數之一第二變數型別生成，計算對應至該未知變數之一第二變數型別刪除，以及根據該第二變數型別輸入、該第二變數型別生成、該第二變數型別刪除，針對該第二基本區塊計算對應至該未知變數之一第二變數型別輸出。技術分類 / 子分類
發明
獲證
104101061
發明第I571802號
申請日期
2015.01.13專利權期限
2035.01.12研發成果公告日期
2026.11.13