随着计算机科学技术的不断进步,人们对计算机应用的需求日益迫切,进而对软件的质量提出更高的要求和期望。如何有效的管理内存,防止泄漏成为突出的问题。内存泄漏是一种常见的系统安全问题,用户一般都感觉不到它的存在,但是如果执行那些长期运行的大型软件系统,存在内存泄漏的话就可能导致很严重的后果。随着内存泄漏的堆积,程序的整体性能下降,最终可能导致程序终止或电脑死机,造成无法挽回的系统故障,因此检测内存泄漏至关重要。本文首先研究了内存泄漏相关知识和检测技术、时序逻辑语言MSVL的语法语义,并深入了解MSVL编译器的工作原理,即把MSVL程序转化为LLVM的中间代码IR,之后生成可执行代码。然后,在MSVL编译器的基础上设计并实现了对MSVL程序的内存泄漏动态检测,具体方法就是在程序执行到IR阶段对其动态插桩获取内存的相关信息。例如内存首地址、内存块大小、指向这块内存的变量名、所在函数名、行号,当源程序中遇到分配内存、赋值、释放内存的操作以及进出函数时对内存相关信息进行存储和管理,当程序执行结束后会有相应的数据结构存储泄漏的相关信息,主要包括泄漏的总个数、丢失内存型泄漏的个数、每块泄漏内存的信息、每块动态分配过的内存在源程序中使用到的所有行号信息,每处泄漏会提供分配内存语句所在的行号、该内存最后一次使用所在的行号、造成泄漏的语句所在的行号,用户可通过行号追踪每块内存的使用情况和相关语句的执行路径,方便对程序进行分析和修改。最后,对基于MSVL编译器的内存泄漏动态检测工具进行了功能测试以及实际应用测试。实验结果表明,基于MSVL编译器的内存泄漏动态检测工具在实用性、可靠性、维护性等方面表现良好,并通过和Memory Validator工具作对比得出,本文所实现的工具比Memory Validator工具所提供的泄漏信息更加全面。