一种程序的终止性判断方法、系统、设备及介质

本公开涉及计算机技术领域，提供了一种程序的终止性判断方法、系统、设备及介质，所述方法包括：获取程序代码后，进行语法解析，基于语法节点构建抽象语法树；在抽象语法树中，基于表达式或语句的依赖关系，在语法节点间构建单向边；对于语法为循环含义的语法节点A，在语法节点A与其循环体中的子语法节点间建立回边；进而得到有向抽象语法树图；将有向的抽象语法树编码为特征图，输入图注意力网络，输出第一向量；将特征图的邻接矩阵输入卷积神经网络，输出第二向量；对两个向量加权求和并归一化，得出非终止概率估计结果。该方法能够有效识别程序中的循环结构，提升对终止性的判断准确度。