C++类成员内存泄露新检测策略：基于继承分析与XPath定位

本文探讨了C++类成员内存泄露这一重要的问题，针对C语言中普遍存在的但难以通过静态检测手段发现的内存泄漏现象进行了深入研究。作者刘书文和金大海基于他们的专业知识，特别是刘书文作为硕士研究生，专注于软件可靠性研究，共同提出了针对C++类成员在继承过程中可能导致的特殊内存泄露现象的研究。 他们指出，传统的内存泄漏检测方法大多关注全局变量和动态分配的对象，而对于类成员内存泄露，尤其是在继承关系中的潜在问题，关注度相对较低。文章提出了一种新颖的方法，利用抽象语法树（Abstract Syntax Tree, AST）和XPath等技术，对代码进行细致分析。这种方法能够有效地定位和识别那些在继承过程中，子类与父类对相同成员变量内存分配行为的差异，以此来识别和检测这种特殊的内存泄漏。 作者们强调，由于C++类成员内存泄露的隐蔽性，它往往在程序运行时才显现，给调试带来困难。通过静态检测手段结合动态分析，能够更全面地评估代码的内存使用情况，避免遗漏此类问题。此外，文章还提到了研究背景，包括国家“八六三”高技术研究发展计划基金和国家自然科学基金的支持，表明这项工作具有一定的理论和实践价值。 关键词方面，"C++内存泄露"、"静态检测"、"软件测试"以及"类成员内存泄露"都是论文的核心关注点，反映了研究的焦点和方法论。这篇论文提供了一个独特的视角和实用的工具，有助于提高C++程序的内存管理效率和软件质量，对于软件开发者和测试人员来说具有很高的参考价值。