基于流敏感上下文敏感指向图的内存泄漏检测方法

摘要

本发明公开了一种基于流敏感上下文敏感指向图的内存泄漏检测方法，要解决的技术问题在于：一方面提高内存泄漏检测的精确度，一方面保证内存泄漏效率。技术方案是先对源代码做语法分析和词法分析，生成中间文件；对中间文件计算流敏感、上下文敏感的指针信息，生成流敏感和上下文敏感的指向图；利用流敏感和上下文敏感的指向图检测被检测程序的每个过程内是否存在内存泄漏，获取MOD信息，再利用流敏感和上下文敏感的指向图检测程序过程间的内存泄漏；最后判断新得到的数据流事实是否矛盾以检测是否有内存泄漏。采用本发明能提高内存泄漏检测的效率和精确度。