RTDMiner:基于數(shù)據(jù)挖掘的引用計數(shù)更新缺陷檢測方法

摘要： 在Linux內(nèi)核等大型底層系統(tǒng)中廣泛采用引用計數(shù)來管理共享資源.引用計數(shù)需要與引用資源的對象個數(shù)保持一致,否則可能導致不恰當引用計數(shù)更新缺陷,使得資源永遠無法釋放或者被提前釋放.為檢測不恰當引用計數(shù)更新缺陷,現(xiàn)有靜態(tài)檢測方法通常需要知道哪些函數(shù)增加引用計數(shù),哪些函數(shù)減少引用計數(shù).而手動獲取這些關(guān)于引用計數(shù)的先驗知識過于費時且可能有遺漏.基于挖掘的缺陷檢測方法雖然可以減少對先驗知...