小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2008年
10期
1935-1939
,共5页
胡燕%龚育昌%孙伟峰%赵振西
鬍燕%龔育昌%孫偉峰%趙振西
호연%공육창%손위봉%조진서
模型检测%内存泄漏%别名分析%自动机
模型檢測%內存洩漏%彆名分析%自動機
모형검측%내존설루%별명분석%자동궤
内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.
內存洩漏是導緻繫統性能降低的重要問題.提齣一種基于模型檢測算法的內存洩漏靜態檢查方法TMC.該方法依據程序的控製流圖構建對應于程序執行的有限狀態自動機,進而在此基礎上應用模型檢測算法分析程序中可能存在的內存洩漏.論文利用幾箇典型的程序實例詳細說明瞭TMC的工作原理,併通過基于內存操作密集的測試程序集PtrDist的實驗對TMC進行瞭驗證.實驗結果錶明,TMC能夠顯著提升內存洩漏分析的精度.
내존설루시도치계통성능강저적중요문제.제출일충기우모형검측산법적내존설루정태검사방법TMC.해방법의거정서적공제류도구건대응우정서집행적유한상태자동궤,진이재차기출상응용모형검측산법분석정서중가능존재적내존설루.논문이용궤개전형적정서실례상세설명료TMC적공작원리,병통과기우내존조작밀집적측시정서집PtrDist적실험대TMC진행료험증.실험결과표명,TMC능구현저제승내존설루분석적정도.