过程间的空指针解引用检测方法、系统、设备以及介质

摘要

本发明公开了一种过程间的空指针解引用检测方法、系统、设备以及介质，包括以下步骤：对待检测程序进行预处理；生成所述待检测程序中的主调函数和被调函数的符号表达式图，根据所述被调函数的符号表达式图对所述被调函数进行过程内分析，以检测所述被调函数中的空指针以及生成所述被调函数的函数摘要；将所述被调函数的所述函数摘要嵌入所述主调函数；根据所述主调函数的符号表达式图对所述主调函数进行过程内分析，以检测所述主调函数中的空指针解引用。