Fortran內(nèi)存泄漏靜態(tài)檢測(cè)方法研究
小型微型計(jì)算機(jī)系統(tǒng)
頁(yè)數(shù): 9 2023-05-11
摘要: 內(nèi)存泄漏在沒(méi)有垃圾回收機(jī)制的語(yǔ)言中是常見(jiàn)的問(wèn)題,雖然Fortran95引入ALLOCATABLE數(shù)組解決了部分泄漏問(wèn)題,但是通過(guò)指針申請(qǐng)內(nèi)存資源仍然會(huì)造成泄漏,現(xiàn)有研究對(duì)Fortran內(nèi)存泄漏的檢測(cè)流程適配度不高且面向Fortran內(nèi)存狀態(tài)分析的效率和精確度上仍存在優(yōu)化空間.針對(duì)這一問(wèn)題,本文提出了一種面向Fortran指針引發(fā)的內(nèi)存泄漏靜態(tài)檢測(cè)方法.首先引入指針引用控制流圖(...