动态内存管理错误检测中流敏感的别名分析.pdfVIP

动态内存管理错误检测中流敏感的别名分析 张广梅1， 李劲松2 (1．山东农业大学信息科学与工程学院计算机系，山东泰安271000； 2．新汶矿业集团通讯性信息中心，山东泰安271000) 摘要：两个指向同一内存空间的指针变量之间具有别名关系．应用程序中内存泄漏、指针变量解引用等错 误的检测需要别名分析的支持．指针变量的指向关系分析可以准确地确定变量问的别名关系．流敏感的指针 指向分析充分考虑了程序的控制结构、程序的执行路径对应用程序中的别名关系的影响．文中提出的扩展的 指针指向关系表示方法记录了指针变量所指向的内存空间的及其特性，有效的支持了动态内存管理错误的 检测． 关键词：别名分析；指针指向关系；流敏感的别名分析；内存泄漏；指针解引用 文章编号：0367—6234(2009)增刊l一0396—06 Flow——sensitiveforDetectionof Analysis Dynamic Errors MemoryManagement ZHANG 1．LI Guang．meiJin—son92 ofInformationScienceand AgricultureUniversity，271000，China； (1．Department Technology，ShanDong 2．Communicationand Wen Information Center，XinMiningGroup，271000，China) is as Abstract：Aliasvery in errorsabout memoriessuchmemo— analysis importantdetectingmanagement heap leakerrorsand dereferenceerrors．ne relationbetweenthe variableandthemem- ry pointer point—to pointer locationcanbeused torecordaccessforalocationandthealiascanbefounddetec· ory effectively an path by alltheaccess refertothesamelocation．Becausethecontrolstructurehas effectonthealiasao ting paths great flow—sensitive methodisdiscussedinthis inorderto themore result，the nalysis point—toanalysis paper get are accuratealiasinformation．Otherthanthat。theMUST—REACH—INsetandMAY—REACH—INset used torecordthee