一种程序的终止性判断方法、系统、设备及介质
2025-02-24 10:06
No.1343524527422054400
技术概要
PDF全文
本公开涉及计算机技术领域,提供了一种程序的终止性判断方法、系统、设备及介质,所述方法包括:获取程序代码后,进行语法解析,基于语法节点构建抽象语法树;在抽象语法树中,基于表达式或语句的依赖关系,在语法节点间构建单向边;对于语法为循环含义的语法节点A,在语法节点A与其循环体中的子语法节点间建立回边;进而得到有向抽象语法树图;将有向的抽象语法树编码为特征图,输入图注意力网络,输出第一向量;将特征图的邻接矩阵输入卷积神经网络,输出第二向量;对两个向量加权求和并归一化,得出非终止概率估计结果。该方法能够有效识别程序中的循环结构,提升对终止性的判断准确度。
背景技术
在计算机科学中,终止性分析技术是用于确定程序在任何输入下都能够在有限步骤内完成执行的技术。这项技术对于确保程序的可靠性和安全性至关重要,因为它可以预防程序进入无限循环,从而避免系统资源的无限消耗和潜在的系统崩溃。 人工检测终止性错误的代价却十分高昂。虽然传统的终止性验证方法尝试提供求解器可解释的严格保证,但它们都面临着形式化符号方法所特有的限制。近年来,随着深度学习理论的日益完善,神经网络已被用于程序终止性分析领域。这些方法的目标不是提供可供求解器解释的严格保证,而是尝试使用神经网络来提供对程序是否终止的估计,以帮助程序员调试漏洞。 尽管目前的神经网络方法在终止性分析的估计上取得了很大进展,然而,面对复杂循环,类似方法的图结构描述能力是有限的,这导致模型在一些情况下预测精度较低。原因是无向图表示及其编码方法不能有效反映循环程序的结构特征和语法节点顺序。
实现思路
阅读余下40%
技术概要为部分技术内容,查看PDF获取完整资料
该技术已申请专利,如用于商业用途,请联系技术所有人!
技术研发人员:
陈志伟  龙腾  石江
技术所属: 中国地质大学(北京)
相关技术
一种服务开发方法、装置、设备及存储介质 一种服务开发方法、装置、设备及存储介质
一种高精度双层优化方法的神经网络搜索架构构建方法 一种高精度双层优化方法的神经网络搜索架构构建方法
跨总线域的设备对宿主机空间DMA访问方法及相关设备 跨总线域的设备对宿主机空间DMA访问方法及相关设备
一种客户信息定期维护方法及系统 一种客户信息定期维护方法及系统
代码发布方法、装置、计算机设备和可读存储介质 代码发布方法、装置、计算机设备和可读存储介质
一种基于统一管理平台的子应用数据获取方法及装置 一种基于统一管理平台的子应用数据获取方法及装置
利用深度学习的BIM模型错误自动检测系统 利用深度学习的BIM模型错误自动检测系统
一种基于智能反射面的室内T型走廊场景路径损耗的分析方法 一种基于智能反射面的室内T型走廊场景路径损耗的分析方法
模型评估任务处理方法及装置 模型评估任务处理方法及装置
基于大数据的异常信号智能识别方法 基于大数据的异常信号智能识别方法
技术分类
电信、广播电视和卫星传输服务 电信、广播电视和卫星传输服务
互联网软件服务 互联网软件服务
集成电路设计 集成电路设计
信息集成数字服务 信息集成数字服务
电气机械制造 电气机械制造
计算机、通信、电子设备制造 计算机、通信、电子设备制造
医药制造、生物基材料 医药制造、生物基材料
石油煤矿化学用品加工 石油煤矿化学用品加工
化学原料制品加工 化学原料制品加工
非金属矿物加工 非金属矿物加工
金属制品加工 金属制品加工
专用设备制造 专用设备制造
通用设备制造 通用设备制造
通用零部件制造 通用零部件制造
汽车制造业 汽车制造业
铁路、船舶、航天设备制造 铁路、船舶、航天设备制造
电力、热力生产和供应 电力、热力生产和供应
燃气生产和供应 燃气生产和供应
水生产和供应 水生产和供应
房屋建筑、土木工程 房屋建筑、土木工程
交通运输、仓储和邮政 交通运输、仓储和邮政
农、林、牧、渔业 农、林、牧、渔业
采矿业 采矿业
农副、食品加工 农副、食品加工
烟草、酒水加工 烟草、酒水加工
纺织皮具居家制品 纺织皮具居家制品
文教体娱加工 文教体娱加工
苏ICP备18062519号-5 © 2018-2025 【123技术园】 版权所有,并保留所有权利