随着信息技术的发展,计算机软件逐渐成为人们生活中必不可少的一部分,然而计算机软件中不可避免地存在着程序错误,这些错误可能导致严重的后果。指针作为诸多编程语言中最重要的变量类型之一,被广泛地应用于各种计算机软件的编写过程中。然而指针是一把双刃剑,指针的使用可以简化编程任务,但也容易引起程序错误。空指针解引用错误是常见的由指针使用引起的程序错误,触发该错误可能导致程序崩溃等严重后果,因此如何修复该错误是工业界广泛关注的问题。然而,在代码规模较大的计算机软件中,人工对空指针解引用错误进行修复效率低下,往往需要借助自动化程序修复工具。但是,现有的自动化程序修复工具对空指针解引用错误的修复效果往往欠佳,不仅修复过程耗时较长,生成补丁的正确率也偏低。在此背景下,本文对程序中空指针解引用错误的修复算法进行了研究,提出一种适用于C/C++程序的基于静态程序分析的空指针解引用错误修复建议生成算法。本文主要工作如下:1.提出一种适用于C/C++程序的基于静态程序分析的空指针解引用错误修复建议生成算法,该算法以空指针解引用错误的错误触发点的详细信息以及程序的抽象语法树与过程间控制流图为输入,通过对错误触发点处被解引用指针的赋值路径进行追溯以寻找合适的修复代码插入点,最后依据预先定义的修复模板生成修复建议。2.利用现有代码静态分析平台,使用C++语言开发基于本文所提出空指针解引用错误修复建议生成算法的程序修复工具,同时对算法各部分与使用的工具函数进行封装以提升代码质量。3.以开源项目libjpeg-turbo与cpython作为基准数据集对开发的程序修复工具进行实验评估。使用静态程序分析工具infer在应用工具生成的修复建议之前与之后分两次对基准数据集进行分析,对比两次分析生成的错误报告以评估工具质量。实验结果表明,基于本文算法开发的程序修复工具能在1秒内为libjpeg-turbo生成修复建议,应用后能消除其中100%的空指针解引用错误;能在14秒内为cpython生成修复建议,应用后能消除其中75.9%的空指针解引用错误。