[发明专利]源代码中内存错误的自动检测和定位方法

摘要

本发明提供了源代码中内存错误的自动检测和定位方法，首先使用编译器对源代码进行词法分析和语法分析，构造符号表和抽象语法树；然后通过遍历抽象语法树，对可能产生内存错误的节点进行源代码变换，最后编译执行变换后的源代码，程序会自动判断内存错误的发生，并准确报告错误对应的源代码位置。本发明可以准确地自动检测和定位内存错误，实现更全面的错误检测，更好的兼容性，更好的平台普适性，更准确的源代码定位，更高的运行时性能和效率，从而提高软件的质量和软件维护的效率。

主权项

源代码中内存错误的自动检测和定位方法，其特征在于，包括：步骤1、使用编译器对源代码进行词法分析和语法分析，构造包含节点类型信息的符号表以及抽象语法树；步骤2、遍历抽象语法树，对指针变量定义初始化节点和赋值节点插入代码来记录或更新指针元数据，其中指针元数据包括指针指向内存块的边界、状态和类型信息；步骤3、遍历抽象语法树，对指针解引用节点和数组下标访问节点插入内存错误检测和源代码定位的机制；步骤4、遍历抽象语法树，对函数定义节点插入代码来更新形参的指针元数据，并插入包装函数定义来在函数之间传递指针元数据；步骤5、遍历抽象语法树，对函数调用节点插入额外的实参来传入原实参的指针元数据；步骤6、编译执行变换后的源代码，程序会自动判断内存错误的发生，并准确报告错误对应的源代码位置。