[00336423]一種基于符號執行的內存泄漏檢測方法
交易價格：
面議
所屬行業：
分析儀器
類型：
發明專利
技術成熟度：
通過小試
專利所屬地：中國
專利號：CN201610184888.8
交易方式：
資料待完善
聯系人：
南京大學
進入空間
所在地：江蘇南京市
- 服務承諾
- 產權明晰
-
資料保密
對所交付的所有資料進行保密
- 如實描述
技術詳細介紹
本發明針對內存泄漏缺陷，提出一種基于符號執行的內存泄漏檢測方法，首先對于被測試的源代碼，使用靜態分析工具處理，得到靜態內存泄漏警報；然后，把用源代碼和內存泄漏警報，同時輸入插樁器，得到插樁后的代碼。接著，把插樁后的代碼輸入測試用例生成模塊，生成大量測試用例并執行所有測試用例。每個測試用例運行結束后都有對目標內存對象泄漏情況匯報，最后綜合所有測試執行的輸出，對內存泄漏測試結果進行判定。本方法解決了靜態內存泄漏分析的誤報問題和動態測試的漏報問題，并利用符號執行技術生成測試用例，減少了靜態分析內存泄漏結果的人工驗證工作。提高了動態執行的效率。
本發明針對內存泄漏缺陷，提出一種基于符號執行的內存泄漏檢測方法，首先對于被測試的源代碼，使用靜態分析工具處理，得到靜態內存泄漏警報；然后，把用源代碼和內存泄漏警報，同時輸入插樁器，得到插樁后的代碼。接著，把插樁后的代碼輸入測試用例生成模塊，生成大量測試用例并執行所有測試用例。每個測試用例運行結束后都有對目標內存對象泄漏情況匯報，最后綜合所有測試執行的輸出，對內存泄漏測試結果進行判定。本方法解決了靜態內存泄漏分析的誤報問題和動態測試的漏報問題，并利用符號執行技術生成測試用例，減少了靜態分析內存泄漏結果的人工驗證工作。提高了動態執行的效率。
