中国科学技术大学学报
中國科學技術大學學報
중국과학기술대학학보
JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA
2009年
2期
189-195,203
,共8页
龚育昌%胡燕%张晔%赵振西
龔育昌%鬍燕%張曄%趙振西
공육창%호연%장엽%조진서
可执行代码%模型检测%内存泄漏
可執行代碼%模型檢測%內存洩漏
가집행대마%모형검측%내존설루
针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.
針對應用程序安全分析的實際需求,設計併實現瞭一箇針對可執行代碼的內存洩漏分析框架MLAB.MLAB首先從可執行代碼中恢複控製流和數據流信息,依據恢複的控製流圖建立程序的有限狀態自動機,在此基礎上運用模型檢測算法分析程序可能存在的內存洩漏.利用幾箇典型的程序實例詳細說明瞭MLAB方法的工作原理,併通過基于測試程序集MiBench的實驗對方法進行瞭驗證,結果說明瞭該方法的有效性.
침대응용정서안전분석적실제수구,설계병실현료일개침대가집행대마적내존설루분석광가MLAB.MLAB수선종가집행대마중회복공제류화수거류신식,의거회복적공제류도건립정서적유한상태자동궤,재차기출상운용모형검측산법분석정서가능존재적내존설루.이용궤개전형적정서실례상세설명료MLAB방법적공작원리,병통과기우측시정서집MiBench적실험대방법진행료험증,결과설명료해방법적유효성.
