Fortran内存泄漏静态检测方法研究

摘要： 内存泄漏在没有垃圾回收机制的语言中是常见的问题，虽然Fortran95引入ALLOCATABLE数组解决了部分泄漏问题，但是通过指针申请内存资源仍然会造成泄漏，现有研究对Fortran内存泄漏的检测流程适配度不高且面向Fortran内存状态分析的效率和精确度上仍存在优化空间.针对这一问题，本文提出了一种面向Fortran指针引发的内存泄漏静态检测方法.首先引入指针引用控制流图(... （共9页）